Fix mistakes in the documentation