The only way you will get the default HTML document in IE is if your script sends the http headers and nothing else. Therefore, in the first example, the $user->page_start(); is not getting sent to the browser as the document source. Try using an http agent that will allow you to view the raw headers. eg. cURL

-caedes