Fixed some typos in the docs