Minor header.php modifications