diff --git a/ChangeLog b/ChangeLog
index 6b5b6c34b..46f8e6598 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,5 +1,9 @@
 2004-02-02  Alexandre Duret-Lutz  <adl@gnu.org>
 
+	* wrap/python/cgi/ltl2tgba.in (render_dot): Render .png directly
+	with dot, without using convert.
+	* wrap/python/cgi/README: Do not mention convert.
+
 	* wrap/python/cgi/ltl2tgba.in (render_dot, render_automaton)
 	(render_bdd): New functions, extracted from the rest of the code.
 
diff --git a/wrap/python/cgi/README b/wrap/python/cgi/README
index ce191c314..c791e02cc 100644
--- a/wrap/python/cgi/README
+++ b/wrap/python/cgi/README
@@ -40,5 +40,4 @@ You have to install the script yourself if you want to test it.
    ltl2tgba purges old files (>10min) from this directory
    each time it runs.
 
-4) `dot' from the GraphViz package, and `convert' from
-   the ImageMagick package should be in the PATH.
+4) `dot', from the GraphViz package, should be in the PATH.
diff --git a/wrap/python/cgi/ltl2tgba.in b/wrap/python/cgi/ltl2tgba.in
index 329c5f34d..b2e48449c 100644
--- a/wrap/python/cgi/ltl2tgba.in
+++ b/wrap/python/cgi/ltl2tgba.in
@@ -72,10 +72,8 @@ def print_stats(automaton):
     sys.stdout.flush()
 
 def render_dot(basename):
-    os.spawnlp(os.P_WAIT, 'dot', 'dot', '-Tgif', '-Gsize=14,14', '-o',
-               basename + '.gif', basename + '.dot')
-    os.spawnlp(os.P_WAIT, 'convert', 'convert',
-               basename + '.gif', basename + '.png')
+    os.spawnlp(os.P_WAIT, 'dot', 'dot', '-Tpng', '-Gsize=14,14', '-o',
+               basename + '.png', basename + '.dot')
     print '<img src="' + basename + '.png">'
 
 def render_automaton(basename, automata):