Fix several errors in html_output module.