Index: trunk/FACT++/src/Readline.cc
===================================================================
--- trunk/FACT++/src/Readline.cc	(revision 13946)
+++ trunk/FACT++/src/Readline.cc	(revision 13947)
@@ -1074,10 +1074,12 @@
         }
 
-        const int save = fSection;
+        const string save  = fScript;
+        const int save_sec = fSection;
         Execute(opt, data);
-        if (save!=-3)
+        fScript = save;
+        if (save_sec!=-3)
         {
-            fSection = save;
-            SetSection(save);
+            fSection = save_sec;
+            SetSection(save_sec);
         }