Documentation update

Correct mistakes in the documentation.