--- a/rdf-spaces/index.html	Fri May 11 14:07:28 2012 -0400
+++ b/rdf-spaces/index.html	Fri May 11 14:20:33 2012 -0400
@@ -491,7 +491,7 @@
   </section>
 
     
-  <section>
+  <section id="qdmap">
     <h2>Quadset/Dataset Relationship</h2>
 
     <p>A <dfn>quad-equivalent dataset</dfn> is a <a>dataset</a> with
@@ -590,7 +590,7 @@
   <h2>Semantics</h2>
 
   <p>This section specifies a declarative semantics for <a>quad</a>s,
-  <a>quadset</a>, and <a>dataset</a>s, allowing them to be used to
+  <a>quadset</a>s, and <a>dataset</a>s, allowing them to be used to
   express knowledge, especially knowledge about spaces.  This makes
   the languages defined in <a href="#syntax"
   class="sectionRef"></a> suitable for conveying knowledge about
@@ -602,8 +602,8 @@
 
   <p>The fundamental notion of RDF spaces is that they can contain
   triples.  This is formalized with the relation CT(S, T) which is
-  informally understood to hold for any triple T and space S such that
-  S explicitely contains T.</p>
+  informally understood to hold true for any triple T and space S such
+  that S explicitely contains T.</p>
 
   <p>The basic declarative meaning (that is, the truth condition) of
   RDF quads is this:</p>
@@ -615,9 +615,9 @@
   </div>
 
   <p>The declarative meaning of a quadset is to simply read the
-  quadset as a conjunction of its quads and its triples.  Given the
-  structural mapping between quadsets and datasets, the truth
-  condition for datasets follows:</p>
+  quadset as a conjunction of its quads and its triples.  Given <a
+  href="#qdmap">the structural mapping between quadsets and
+  datasets</a>, the truth condition for datasets follows:</p>
 
   <div style="padding: 1em; border: 1px solid blue;">