fix to HTML output