<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 3.2 Final//EN"> <HTML> <HEAD> <TITLE>Pre bug</TITLE> </HEAD> <BODY> <PRE> Some pre text</pre> </BODY></HTML>