Corrected a few mistakes in the docs.