diff --git a/ChangeLog b/ChangeLog
index 598effd73..656c8337b 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,7 @@
+2012-03-08  Alexandre Duret-Lutz  <adl@lrde.epita.fr>
+
+	* wrap/python/ajax/spot.in: Fix emulation of execfile.
+
 2012-03-04  Alexandre Duret-Lutz  <adl@lrde.epita.fr>
 
 	ltl2tgba.html: save state in URL to preserve history
diff --git a/wrap/python/ajax/spot.in b/wrap/python/ajax/spot.in
index 3347b3a58..dfab26486 100755
--- a/wrap/python/ajax/spot.in
+++ b/wrap/python/ajax/spot.in
@@ -199,8 +199,7 @@ if ('SERVER_SOFTWARE' in os.environ and
 
 try:
     # execfile('ltl2tgba.opt') no longuer work with Python 3.
-    exec(compile(open("ltl2tgba.opt").read(), "ltl2tgba.opt", 'exec'),
-         global_vars, local_vars)
+    exec(compile(open("ltl2tgba.opt").read(), "ltl2tgba.opt", 'exec'))
 except IOError:
     pass