misc changes to header.php