--- a/model/ProvenanceModel.html	Thu Aug 04 23:22:33 2011 +0100
+++ b/model/ProvenanceModel.html	Thu Aug 04 23:23:08 2011 +0100
@@ -1091,7 +1091,7 @@
 <li>For use, generation, and derivation event, the first argument is the 'effect' (i.e. most recent item) and the second argument is the 'cause' (i.e. least recent item). This order is compatible with the temporal layout of the graphical notation.
 </li>
 <li> BNF grammar for the Provenance Abstract Syntax Notation,
-<div data-include='grammar.html'></div> 
+<pre data-include='grammar.html'></pre> 
 </li>
 </ul>
 </section>