Fix mistakes in docs/