minor fix in html.php