Bugfix for headers.inc.php