diff -r 86ed1c86e0ef -r f993cbffc42a etc/user-settings.sample
--- a/etc/user-settings.sample	Sun Nov 30 12:25:54 2008 +0100
+++ b/etc/user-settings.sample	Sun Nov 30 12:58:20 2008 +0100
@@ -1,7 +1,7 @@
 # -*- shell-script -*-
 # $Id$
 #
-# Isabelle user settings sample -- for use in ~/isabelle/etc/settings
+# Isabelle user settings sample -- for use in ~/.isabelle/etc/settings
 
 ISABELLE_USEDIR_OPTIONS="-i true -d pdf"
 HOL_USEDIR_OPTIONS="-p 1"