Update html_output.php