diff --git a/options.xhtml b/options.xhtml
index 9567a7679..f1b63c1d2 100644
--- a/options.xhtml
+++ b/options.xhtml
@@ -25104,7 +25104,7 @@ boolean</p>
 for a list of available options.</p>
 
 <p><span class="emphasis"><em>Type:</em></span>
-attribute set of section of an INI file (attrs of INI atom (null, bool, int, float or string))</p>
+attribute set of section of an INI file (attrs of INI atom (null, bool, int, float or string) or a list of them for duplicate keys)</p>
 
 <p><span class="emphasis"><em>Default:</em></span>
 <code class="literal">{ }</code></p>