Fix a few minor typos in documentation