<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN">
<html>
<head>
<title>Petal / MKDoc::XML bug</title>
</head>
<body>
Hello world!
<!-- pre><?error?></pre -->
</body>
</html>
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN">
<html>
<head>
<title>Petal / MKDoc::XML bug</title>
</head>
<body>
Hello world!
<!-- pre><?error?></pre -->
</body>
</html>