bugfixes
fix re-include of html.php