Fix a few typos in the docs.

These are relatively minor things...