Apply suggestions from code review

Co-authored-by: Olaf Hartig <[email protected]>

spec/index.html

@@ -416,7 +416,7 @@ <h3>Working with Multiple RDF Graphs</h3>
   <section id="entailment">
     <h3>Equivalence, Entailment and Inconsistency</h3>
 
-    <p>An <a>RDF triple</a> encodes a <dfn class=export >proposition</dfn>—a
+    <p>An <a>RDF triple</a> encodes a <dfn class="export">proposition</dfn>—a
       simple logical expression, describing a relationship between two entities.
       An [=asserted triple=] is a claim that the corresponding proposition is true.
       An <a>RDF graph</a> is the conjunction (logical <em>AND</em>) of
@@ -551,8 +551,8 @@ <h2>RDF Graphs</h2>
   <section id="section-triples">
     <h3>Triples</h3>
 
-    <p>An <dfn data-local-lt="triple" class=export >RDF triple</dfn>
-     (often called simply "triple")
+    <p>An <dfn data-local-lt="triple" class="export">RDF triple</dfn>
+     (often simply called "triple")
      is a 3-tuple that is defined recursively as follows:</p>
 
     <ul>