Changes from PR review

Author: afs

spec/index.html

@@ -498,7 +498,7 @@ <h4>Terminology</h4>
 
           <ul>
             <li>
-              <h4><a data-cite="RDF12-CONCEPTS#dfn-iri">IRI</a></h4>
+              <a data-cite="RDF12-CONCEPTS#dfn-iri">IRI</a>
             </li>
             <li>
               <a data-cite="RDF12-CONCEPTS#dfn-literal">literal</a>
@@ -5892,13 +5892,14 @@ <h5>sameValue</h5>
                 The <a href="#OperatorMapping">Operator Mapping</a> for "`=`"
                 is the function
                 <a data-cite="XPATH-FUNCTIONS-31#func-numeric-equal">`fn:numeric-equal`</a>
-                which returns `false` when comparing arguments involving `NaN`.
-                However, `sameTerm("NaN"^^xsd:double, "NaN"^^xsd:double)` is true;
-                `sameValue` treats "NaN"^^xsd:double as the "same value".
+                which is defined to return `false` when comparing arguments involving `NaN`.
+                However, `sameTerm("NaN"^^xsd:double, "NaN"^^xsd:double)` is true.
+                The function `sameValue` defines `sameValue("NaN"^^xsd:double, "NaN"^^xsd:double)`
+                to be true because the arguments are the same element of the value space.
               </p>
               <p>
-                `sameValue` treats "NaN"^^xsd:double and "NaN"^^xsd:float as the same value.
-                `sameValue("NaN"^^xsd:double, "NaN"^^xsd:float)` is `true`.
+                `sameValue` treats the values of `"NaN"^^xsd:double` and `"NaN"^^xsd:float` as being
+                the same. `sameValue("NaN"^^xsd:double, "NaN"^^xsd:float)` is `true`.
               </p>
             </div>
             <p id="sameValue-zeros" class="note">