Fix a few typos in the docs. (Reported by: Peter Gijsels <peter.gijsels@gmail.com>)