Fix mistakes in docs