Updates to htmldoc