Fixed some minor typos in the documentation.