Make header.php a little more robust

The header file, that will be included into other apps, should not throw a notice or any other error.