prevent PHP from magically setting a 302 header, see http://www.php.net/manual/en/function.header.php