--- a/model/prov-constraints.html	Thu Jan 24 15:57:22 2013 +0100
+++ b/model/prov-constraints.html	Thu Jan 24 17:06:35 2013 +0000
@@ -2934,7 +2934,7 @@
  <div class='inference' id='generation-use-communication-inference'>
 <p>
 <span class="conditional">IF</span>  <span class="name">wasGeneratedBy(_gen; e,a1,_t1,_attrs1)</span>
-   and <span class="name">used(_id2; a2,e,_t2,_attrs2)</span> hold
+   and <span class="name">used(_use; a2,e,_t2,_attrs2)</span> hold
    <span class='conditional'>THEN</span>
  there exists <span
   class="name">_id</span>