Fix some typos in the docs