--- a/model/prov-constraints.html	Thu Jun 07 09:07:10 2012 +0100
+++ b/model/prov-constraints.html	Thu Jun 07 09:07:39 2012 +0100
@@ -713,7 +713,7 @@
 <div class='inference' id='revision-is-alternate'>
 Given two identifiers <span class="name">e1</span> and <span class="name">e2</span> identifying two entities,
 <span class='conditional'>IF</span> <span class="name">wasDerivedFrom(-,e2,e1,[prov:type="prov:WasRevisionOf"])</span> holds, <span class='conditional'>THEN</span> the following 
-hold::
+holds:
 <pre>
 alternateOf(e1,e2)
 </pre>