diff --git a/Common/DefaultOptions.h b/Common/DefaultOptions.h
index 722a1a698ca741811dd5fb8846439ca7e95e5cc2..122aa563e0da55a8c63bef79b9319739471b27ad 100644
--- a/Common/DefaultOptions.h
+++ b/Common/DefaultOptions.h
@@ -45,7 +45,7 @@ StringXString GeneralOptions_String[] = {
     "File into which the log is saved if a fatal error occurs" },
 
   { F|S, "OptionsFileName" , opt_general_options_filename , ".gmsh-options" ,
-    "File created in your home directory with 'Options->Save options now', and which is read on startup" },
+    "File created in your home directory with 'Tools->Options->Save', and which is read on startup" },
 
   { 0,   "SessionFileName" , opt_general_session_filename , ".gmshrc" ,
     "File into which session specific information is saved, and which is read on startup" },
diff --git a/Common/Options.cpp b/Common/Options.cpp
index 20ddebf1914a3ff19e76fc71b6cb80aac0e84ff7..692c97c8e3175c667f9c79cc28511e3e38a46551 100644
--- a/Common/Options.cpp
+++ b/Common/Options.cpp
@@ -1,4 +1,4 @@
-// $Id: Options.cpp,v 1.95 2002-11-16 23:23:34 geuzaine Exp $
+// $Id: Options.cpp,v 1.96 2002-11-17 17:08:32 geuzaine Exp $
 //
 // Copyright (C) 1997 - 2002 C. Geuzaine, J.-F. Remacle
 //
@@ -207,10 +207,10 @@ void Print_Options(int num, int level, char *filename){
     fprintf(file, "// This file takes configuration options (preferences) that\n");
     fprintf(file, "// should be loaded each time Gmsh is launched. You can create\n");
     fprintf(file, "// this file by hand, or let Gmsh generate it for you (with\n");
-    fprintf(file, "// the 'Options->Save options now' menu button). This file can\n");
-    fprintf(file, "// also be automatically regenerated every time you quit\n");
-    fprintf(file, "// Gmsh if the option 'General.SaveOptions' is set. If\n");
-    fprintf(file, "// this file isn't found, defaults are used.\n");
+    fprintf(file, "// 'Tools->Options->Save'). This file can also be automatically\n");
+    fprintf(file, "// regenerated every time you quit Gmsh if the option\n");
+    fprintf(file, "// 'General.SaveOptions' is set. If this file isn't found,\n");
+    fprintf(file, "// defaults are used.\n");
     fprintf(file, "//\n");
   }