1<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" 
2"http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
3<html xmlns="http://www.w3.org/1999/xhtml">
4<!-- use -asxhtml -->
5<head>
6<title>[ 531964 ] &lt;p /&gt; gets tidied into &lt;p /&gt;&lt;/p&gt;</title> 
7</head>
8<body>
9<p />
10</body>
11</html>