Fix a few typos in the documentation.