Various mistakes in the documentation