Fix some typos in the documentation.