Fix mistakes in doc.