Fix a few typos in the docs