Just a couple of minor edits to pr #80