Some minor and (hopefully) uncontroversial corrections.

Here are some minor corrections to typos etc. I noticed as I was reading the docs.