Fix a couple of typos in the documentation