Bug fix in doc.