Fix a few typos in documentation