typo fix in doc.txt