diff -r 44ee3255555c -r 5220fb014f8a etc/user-settings.sample
--- a/etc/user-settings.sample	Fri Dec 20 10:54:01 1996 +0100
+++ b/etc/user-settings.sample	Fri Dec 20 16:10:30 1996 +0100
@@ -29,7 +29,7 @@
 
 # Xterm with symbol font.
 #ISABELLE_INTERFACE=xterm
-#ISABELLE_INTERFACE_OPTIONS="-geometry 80x52"
+#ISABELLE_INTERFACE_OPTIONS="-geometry 80x60"
 #ISABELLE_SYMBOLS=true
 
 # GNU Emacs running Isamode.