diff --git a/ChangeLog b/ChangeLog
index 1546666cf..e4e3d9d3d 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,5 +1,8 @@
 2004-04-21  Alexandre Duret-Lutz  <adl@src.lip6.fr>
 
+	* wrap/python/cgi/ltl2tgba.in (print_footer): Make ltl2tgba.py's
+	version a separate variable.
+
 	* wrap/python/cgi/ltl2tgba.in: Pass the formula to
 	never_claim_reachable, and cgi.escape its output.
 	Lighten the color a bit.
diff --git a/wrap/python/cgi/ltl2tgba.in b/wrap/python/cgi/ltl2tgba.in
index 937514724..83c6a9c2c 100644
--- a/wrap/python/cgi/ltl2tgba.in
+++ b/wrap/python/cgi/ltl2tgba.in
@@ -50,9 +50,11 @@ dot = 'dot' # in PATH.
 dot_bgcolor = '-Gbgcolor=#FFFFFF'
 # dot = '/usr/local/bin/dot'
 
+ltl2tgba_version = '@PACKAGE_VERSION@'
+
 def print_footer():
     print '<hr>'
-    print 'ltl2tgba.py @PACKAGE_VERSION@; Spot', spot.version()
+    print 'ltl2tgba.py ' + ltl2tgba_version + '; Spot', spot.version()
     print '</BODY></HTML>'
 
 try: