Changed some mistakes in the documentation.