diff --git a/ChangeLog b/ChangeLog
index 1a37d5880..1c457e3ff 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+2011-02-04  Alexandre Duret-Lutz  <adl@lrde.epita.fr>
+
+	* wrap/python/cgi-bin/ltl2tgba.in: Fix python error occurring
+	only when the user did not make any error...
+
 2011-02-04  Alexandre Duret-Lutz  <adl@lrde.epita.fr>
 
 	Prevent Spot from using an installed BuDDy version that does not
diff --git a/wrap/python/cgi-bin/ltl2tgba.in b/wrap/python/cgi-bin/ltl2tgba.in
index c0a7fad70..a05bd6c8a 100755
--- a/wrap/python/cgi-bin/ltl2tgba.in
+++ b/wrap/python/cgi-bin/ltl2tgba.in
@@ -505,7 +505,7 @@ if pel:
 if not f:
     print '<p><b>Aborting...</b></p>'
     sys.exit(0)
-if err:
+if pel:
     print '<p><b>Continuing anyway...</b></p>'
 
 print "<p>Formula is<code>", f, "</code></p>"