--- a/model/releases/WD-prov-dm-20120503/Overview.html	Wed Apr 25 10:15:07 2012 +0200
+++ b/model/releases/WD-prov-dm-20120503/Overview.html	Wed Apr 25 10:21:03 2012 +0200
@@ -884,7 +884,7 @@
     font-size:130%;
     font-family: monospace;
     content: ")";
-
+}
 div[class="grammar"] span[class="group"]:before {
     font-weight: normal;
     font-size:130%;