On Mon, May 15, 2017 at 2:45 PM, Peter Lane <xxxxxx@peterlane.info> wrote:

Three small edits:

All made locally.