Minor fixes on doc.