diff --git a/preferences.xml b/preferences.xml
index f994b3ad7..e459e28ed 100644
--- a/preferences.xml
+++ b/preferences.xml
@@ -47,7 +47,7 @@ Started September 2000 by David Megginson, david@megginson.com
    <game-mode type="bool">false</game-mode>
    <fullscreen type="bool">false</fullscreen>
    <units>feet</units>
-   <save-on-exit userarchive="y">true</save-on-exit>
+   <save-on-exit type="bool" userarchive="y">true</save-on-exit>
    <browser-app>netscape</browser-app><!--  help viewer -->
   </startup>
   <rendering>