updates to html-epidoc