Fixed a few typos in the documentation