updates to HTML output