Update html.generator.php