Fixed typo in HTML_DOC