small fix

add yet another em

spec/index.html

@@ -744,7 +744,7 @@ <h2>Skolemization (Informative)</h2>
         Then the semantic relationship between them can be summarized as follows.
       </p>
       <p class="fact"><em>sk(G)</em> <a>simply entails</a> <em>G</em> (since <em>sk(G)</em> is an instance of <em>G</em>.)</p>
-      <p class="fact">G does not simply entail <em>sk(G)</em> (since <em>sk(G)</em> contains IRIs not in <em>G</em>.) </p>
+      <p class="fact"><em>G</em> does not simply entail <em>sk(G)</em> (since <em>sk(G)</em> contains IRIs not in <em>G</em>.) </p>
       <p class="fact">For any graph <em>H</em>, if <em>sk(G)</em> <a>simply entails</a> <em>H</em> then there is a graph H' such that <em>G</em> entails <em>H'</em> and <em>H=sk(H')</em>.</p>
       <p class="fact">For any graph <em>H</em> which does not contain any of the "new" IRIs introduced into <em>sk(G)</em>,
         <em>sk(G)</em> <a>simply entails</a> <em>H</em> if and only if <em>G</em> <a>simply entails</a> <em>H</em>.