--- a/model/releases/WD-prov-n-20120503/Overview.html	Wed Apr 25 10:15:07 2012 +0200
+++ b/model/releases/WD-prov-n-20120503/Overview.html	Wed Apr 25 10:21:00 2012 +0200
@@ -849,6 +849,7 @@
     content: ")*";
 }
 
+
 div[class="grammar"] span[class="choice"]:before {
     font-weight: normal;
     font-size:130%;
@@ -856,11 +857,13 @@
     content: "(";
 }
 
+
 div[class="grammar"] span[class="choice"]:after {
     font-weight: normal;
     font-size:130%;
     font-family: monospace;
-    content: ")";
+    content: ")*";
+}
 
 div[class="grammar"] span[class="group"]:before {
     font-weight: normal;