--- a/model/prov-dm-constraints.html	Mon Apr 02 17:01:54 2012 +0100
+++ b/model/prov-dm-constraints.html	Mon Apr 02 17:02:16 2012 +0100
@@ -1693,7 +1693,7 @@
 derivedByInsertionFrom(c, c1, {(k1, v1), (k2, v2)})
 derivedByInsertionFrom(c, c2, {(k3, v3)})
 </pre>
-is undefined (unless the two sets were identical, in which case one of the two statements would be redundant)<p/>
+<p>is undefined (unless the two sets were identical, in which case one of the two statements would be redundant)</p>
 </div>
 
 <p>As a particular case, the state of <span class="name">c</span> as derived multiple times from the same <span class="name">c1</span> is undefined. </p>