--- a/mention/prov-mention.html	Sat Nov 10 06:10:35 2012 -0500
+++ b/mention/prov-mention.html	Sat Nov 10 06:13:56 2012 -0500
@@ -293,6 +293,7 @@
       $(document).ready(function(){
         // if glossary is in a string:
         //$('#glossary_div').html(glossary_string)
+        $('#grammar_div').html(grammar_string);
         updateGlossaryRefs();
         updateFigCaptions();
         updateCaptions();