--- a/model/prov-constraints.html	Mon Sep 10 14:17:53 2012 +0100
+++ b/model/prov-constraints.html	Mon Sep 10 14:21:31 2012 +0100
@@ -4274,7 +4274,7 @@
   following constraint holds:
 </p>
     <p>
-    <span class="conditional">IF</span> <span class="name">r(id; a<sub>1</sub>,...,a<sub>n</sub>)</span> and <span class="name">s(id; b<sub>1</sub>,...,b<sub>n</sub>)</span> <span class="conditional">THEN INVALID</span>.
+    <span class="conditional">IF</span> <span class="name">r(id; a<sub>1</sub>,...,a<sub>m</sub>)</span> and <span class="name">s(id; b<sub>1</sub>,...,b<sub>n</sub>)</span> <span class="conditional">THEN INVALID</span>.
   </p>
   </div>
 

--- a/model/releases/WD-prov-constraints-20120911/Overview.html	Mon Sep 10 14:17:53 2012 +0100
+++ b/model/releases/WD-prov-constraints-20120911/Overview.html	Mon Sep 10 14:21:31 2012 +0100
@@ -4728,7 +4728,7 @@
   following constraint holds:
 </p>
     <p>
-    <span class="conditional">IF</span> <span class="name">r(id; a<sub>1</sub>,...,a<sub>n</sub>)</span> and <span class="name">s(id; b<sub>1</sub>,...,b<sub>n</sub>)</span> <span class="conditional">THEN INVALID</span>.
+    <span class="conditional">IF</span> <span class="name">r(id; a<sub>1</sub>,...,a<sub>m</sub>)</span> and <span class="name">s(id; b<sub>1</sub>,...,b<sub>n</sub>)</span> <span class="conditional">THEN INVALID</span>.
   </p>
   </div>