Fixed several typos in the documentation