A set of very minor doc edits

Correcting typos