--- a/model/prov-constraints.html	Mon Jul 23 14:31:15 2012 +0100
+++ b/model/prov-constraints.html	Mon Jul 23 14:33:53 2012 +0100
@@ -1286,7 +1286,7 @@
 such that <span class="name">wasGeneratedBy(_id1;e,a1,_t1,[])</span> and <span class="name">used(_id2;a2,e,_t2,[])</span> hold.</p>
 </div>
 
-<p id="generation-communication-use-inference_text">
+<p id="generation-use-communication-inference_text">
 
 <div class="note">
 A final check is required on this inference to ensure that it does not lead to non-termination, when combined with

--- a/model/releases/ED-prov-constraints-20120723/prov-constraints.html	Mon Jul 23 14:31:15 2012 +0100
+++ b/model/releases/ED-prov-constraints-20120723/prov-constraints.html	Mon Jul 23 14:33:53 2012 +0100
@@ -1443,7 +1443,7 @@
 such that <span class="name">wasGeneratedBy(_id1;e,a1,_t1,[])</span> and <span class="name">used(_id2;a2,e,_t2,[])</span> hold.</p>
 </div>
 
-<p id="generation-communication-use-inference_text">
+<p id="generation-use-communication-inference_text">
 
 </p><div class="note">
 A final check is required on this inference to ensure that it does not lead to non-termination, when combined with