diff --git a/spec/index.html b/spec/index.html
index 084190b..bb37eaf 100644
--- a/spec/index.html
+++ b/spec/index.html
@@ -1076,8 +1076,9 @@ <h4>Patterns of RDF entailment (Informative)</h4>
           <p><code>ex:p rdf:type rdf:Property .</code></p>
           <p> recognizing {<code>xsd:integer</code>}.</p>
           <p>Some datatypes support idiosyncratic entailment patterns which do not hold for other datatypes. For example,</p>
-          <pre class="nohighlight">ex:a ex:p "true"^^xsd:boolean .
-            ex:a ex:p "false"^^xsd:boolean .
+          <pre class="nohighlight">
+            ex:a ex:p     "true"^^xsd:boolean .
+            ex:a ex:p     "false"^^xsd:boolean .
             ex:v rdf:type xsd:boolean .
           </pre>
           <p>together RDF entail</p>