Fix typos in the documentation.

Thanks to Thomas Sattler for finding and reporting them.