--- a/model/prov-constraints.html	Wed Nov 21 22:27:54 2012 +0000
+++ b/model/prov-constraints.html	Thu Nov 22 09:10:14 2012 +0000
@@ -956,7 +956,7 @@
 <a>equivalent</a>.  Validity and equivalence are also defined for PROV
 bundles (that is, named instances) and documents (that is, a toplevel
 instance together with zero or more bundles).</p>
-
+<p>The PROV Document Overview describes the overall state of PROV, and should be read before other PROV documents.</p>
 </section>
 
 <section id="sotd">

--- a/model/prov-n.html	Wed Nov 21 22:27:54 2012 +0000
+++ b/model/prov-n.html	Thu Nov 22 09:10:14 2012 +0000
@@ -1315,6 +1315,8 @@
 mapping of the PROV data model to concrete syntax, and is used as the basis for a
 formal semantics of PROV.  The purpose of this document is to define the PROV-N notation.
 </p>
+
+<p>The PROV Document Overview describes the overall state of PROV, and should be read before other PROV documents.</p>
     </section> 
 
 <section id="sotd">