header.php: Bug #14