diff --git a/preferences.xml b/preferences.xml
index 42157e508..4a25675cf 100644
--- a/preferences.xml
+++ b/preferences.xml
@@ -575,7 +575,7 @@ Started September 2000 by David Megginson, david@megginson.com
 
   <mouse>
     <hide-cursor type="bool" userarchive="y">true</hide-cursor>
-    <cursor-timeout-sec type="int" userarchive="y">10.0</cursor-timeout-sec>
+    <cursor-timeout-sec type="double" userarchive="y">10.0</cursor-timeout-sec>
   </mouse>
 
   <replay>