Fix mistakes in docs.