--- a/model/extra.css	Wed Apr 18 09:52:03 2012 +0100
+++ b/model/extra.css	Wed Apr 18 10:26:45 2012 +0100
@@ -232,6 +232,7 @@
     padding-top: 1ex;
     padding-bottom: 0.6ex;
     border: 1px dashed #2f6fab;
+    font-size:80%;  /* reduced grammar font */
 }
 .nonterminal {
     font-weight: bold;

--- a/model/prov-dm.html	Wed Apr 18 09:52:03 2012 +0100
+++ b/model/prov-dm.html	Wed Apr 18 10:26:45 2012 +0100
@@ -1326,7 +1326,7 @@
 Consider two activities  <span class="name">a1</span> and <span class="name">a2</span>, the former performed by a government agency, and the latter by a driver caught speeding. 
 <pre class="codeexample">
 activity(a1, [prov:type="traffic regulations enforcing"])
-activity(a2, [prov:type="fine paying; check writing; mailing"])
+activity(a2, [prov:type="fine paying, check writing, and mailing"])
 wasInformedBy(a2,a1)
 </pre>
 The last line indicates that some implicit entity was generated by  <span class="name">a1</span> and used by  <span class="name">a2</span>; this entity may be a traffic ticket that had a notice of fine, amount, and payment mailing details.