Minor change in header.php