Fixed some errors in the documentation.