Fixing some errors in the documentation.