Fixing a few mistakes in documentation.