Small corrections in doc.