Minor edits

Typographical edits, mostly