Minor fixes in doc.