--- a/model/all-divs.js	Mon Jun 11 15:41:58 2012 +0100
+++ b/model/all-divs.js	Mon Jun 11 15:55:50 2012 +0100
@@ -2084,7 +2084,9 @@
 '          <span class="attribute" id="membership-d.id">id</span>: an OPTIONAL \n' + 
 '          identifier identifying the relation; \n' + 
 '        </li> \n' + 
-'        <li> \n' + 
+    '        <li> \n';
+
+divs_string=divs_string +
 '          <span class="attribute" id="membership-d.collection">collection</span>: \n' + 
 '          an identifier (<span class="name">c</span>) for the dictionary whose \n' + 
 '          members are asserted; \n' +