diff --git a/options.xhtml b/options.xhtml
index fd7f855b1..11e59dfcb 100644
--- a/options.xhtml
+++ b/options.xhtml
@@ -21522,7 +21522,7 @@ attribute set of (submodule)</p>
 <p>Declarative bookmarks.</p>
 
 <p><span class="emphasis"><em>Type:</em></span>
-(submodule) or (list of anything) convertible to it</p>
+(submodule) or ((list of ((bookmark submodule) or (directory submodule))) or (attribute set of ((bookmark submodule) or (directory submodule))) convertible to it) convertible to it</p>
 
 <p><span class="emphasis"><em>Default:</em></span>
 <code class="literal">{ }</code></p>
@@ -23125,7 +23125,7 @@ attribute set of (submodule)</p>
 <p>Declarative bookmarks.</p>
 
 <p><span class="emphasis"><em>Type:</em></span>
-(submodule) or (list of anything) convertible to it</p>
+(submodule) or ((list of ((bookmark submodule) or (directory submodule))) or (attribute set of ((bookmark submodule) or (directory submodule))) convertible to it) convertible to it</p>
 
 <p><span class="emphasis"><em>Default:</em></span>
 <code class="literal">{ }</code></p>