fixed several typos in the documentation