--- a/model/prov-constraints.html	Thu Nov 22 17:40:10 2012 +0000
+++ b/model/prov-constraints.html	Thu Nov 22 17:40:32 2012 +0000
@@ -4694,7 +4694,7 @@
 <span class="name">'agent' &isin; typeOf(ag)</span>.
 <li>
 <span class='conditional'>IF</span> 
-   <span class='name'>activity(a,attrs)</span>  
+   <span class='name'>activity(a,t1,t2,attrs)</span>  
 <span class='conditional'>THEN</span> 
 <span class="name">'activity' &isin; typeOf(a)</span>.
 
@@ -4851,7 +4851,7 @@
    <span class='name'>entity(c,[prov:type='prov:EmptyCollection'])</span>  
 <span class='conditional'>THEN</span> 
 <span class="name">'entity' &isin; typeOf(c)</span>  AND
-<span class="name">'prov:Collection' &isin; typeOf(c)</span>AND
+<span class="name">'prov:Collection' &isin; typeOf(c)</span> AND
 <span class="name">'prov:EmptyCollection' &isin; typeOf(c)</span>.
 
 </ol>