Fixing a few typos in the documentation.