header.php: Bug #4

updating pursuant to #4