header.php: Bug #12