Various typo edits

This pull request replaces the botched one I tried to do by editing the original in the browser.

Ivan