typo in doc.html