diff --git a/options.xhtml b/options.xhtml
index 7b8362ff6..f6de2a329 100644
--- a/options.xhtml
+++ b/options.xhtml
@@ -87305,7 +87305,7 @@ If this and all other xresources options are
 <code class="filename">~/.Xresources</code> link is produced.</p>
 
 <p><span class="emphasis"><em>Type:</em></span>
-null or (attribute set of (boolean or signed integer or string or list of (boolean or signed integer or string)))</p>
+null or (attribute set of (boolean or signed integer or floating point number or string or list of (boolean or signed integer or floating point number or string)))</p>
 
 <p><span class="emphasis"><em>Default:</em></span>
 <code class="literal">null</code></p>