Fixed some typos in the documentation