diff --git a/options.xhtml b/options.xhtml
index 061e8be73..21d14d78f 100644
--- a/options.xhtml
+++ b/options.xhtml
@@ -53197,7 +53197,7 @@ them permanent. See
 for the full list of options.</p>
 
 <p><span class="emphasis"><em>Type:</em></span>
-attribute set of (string or boolean or signed integer)</p>
+attribute set of (string or boolean or signed integer or floating point number)</p>
 
 <p><span class="emphasis"><em>Default:</em></span>
 <code class="literal">{ }</code></p>