Fix a few documentation typos