Changed some minor mistakes in the documentation.