Update htmlheader.php