5531: moved header.inc.php to after the header() calls