Fix mistakes in documentation.