diff --git a/doc/xml.html b/doc/xml.html
index c33f1d20..03d0daeb 100644
--- a/doc/xml.html
+++ b/doc/xml.html
@@ -1514,7 +1514,7 @@ in this order. The declaration of one element of the structure and its
 content are done in a single declaration. Similary the following declares
 <code>div1</code> elements:</p>
 
-<p><code>&lt;!ELEMENT div1 (head, (p | list | note)*, div2*)&gt;</code></p>
+<p><code>&lt;!ELEMENT div1 (head, (p | list | note)*, div2?)&gt;</code></p>
 
 <p>means div1 contains one <code>head</code> then a series of optional
 <code>p</code>, <code>list</code>s and <code>note</code>s and then an
diff --git a/doc/xmldtd.html b/doc/xmldtd.html
index 0dcdca13..7a2be688 100644
--- a/doc/xmldtd.html
+++ b/doc/xmldtd.html
@@ -158,7 +158,7 @@ one <code>body</code> and one optionnal <code>back</code> children elements
 in this order. The declaration of one element of the structure and its
 content are done in a single declaration. Similary the following declares
 <code>div1</code> elements:</p>
-<p><code>&lt;!ELEMENT div1 (head, (p | list | note)*, div2*)&gt;</code></p>
+<p><code>&lt;!ELEMENT div1 (head, (p | list | note)*, div2?)&gt;</code></p>
 <p>means div1 contains one <code>head</code> then a series of optional
 <code>p</code>, <code>list</code>s and <code>note</code>s and then an
 optional <code>div2</code>. And last but not least an element can contain