1 files changed, 3 insertions, 1 deletions

diff --git a/language-web/src/main/webapp/index.html b/language-web/src/main/webapp/index.html
index 3fb66d62..753ed63a 100644
--- a/language-web/src/main/webapp/index.html
+++ b/language-web/src/main/webapp/index.html
@@ -30,6 +30,7 @@ enum TaxStatus {
         child, student, adult, retired
 }
 
+% A child cannot have any dependents.
 error invalidTaxStatus(Person p) :-
         taxStatus(p, child), children(p, _q).
 
@@ -41,7 +42,8 @@ children(anne, ciri).
 ?children(bob, ciri).
 taxStatus(anne, adult).
 
-scope Family = 1, Person += 5..10.</pre></div>
+scope Family = 1, Person += 5..10.
+</pre></div>
         </div>
     </div>
     <script type="text/javascript" src="webjars/requirejs/2.3.6/require.min.js"></script>