--- a/model/prov-constraints.html	Thu Nov 22 09:43:13 2012 +0000
+++ b/model/prov-constraints.html	Thu Nov 22 12:48:35 2012 +0000
@@ -5005,7 +5005,7 @@
 <span class="name">actedOnBehalfOf</span>}, the following
   impossibility constraint holds:</p>
 
-<p>    <span class="conditional">IF</span> <span class="name">p(id,a<sub>1</sub>,...,a<sub>n</sub>)</span> and
+<p>    <span class="conditional">IF</span> <span class="name">p(id,a<sub>1</sub>,...,a<sub>m</sub>)</span> and
   <span class="name">r(id; b<sub>1</sub>,...,b<sub>n</sub>)</span> <span class="conditional">THEN INVALID</span>.
   </p>
   </div>