Fix a few minor typos in documentation

Here are a few minor/trivial typos I saw recently.