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