Corrected some errors in the documentation.