diff --git a/ChangeLog b/ChangeLog
index adf6e4c49..11a55a793 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,9 @@
+2004-02-03  Alexandre Duret-Lutz  <adl@src.lip6.fr>
+
+	* wrap/python/cgi/ltl2tgba.in: Fix <table> setting to cope
+	with IE, Safari, konqueror, ... None of these support
+	rules="groups" frame="border" properly (Mozilla is OK).
+
 2004-02-02  Alexandre Duret-Lutz  <adl@src.lip6.fr>
 
 	* wrap/python/cgi/ltl2tgba.in: Output a description of the syntax.
diff --git a/wrap/python/cgi/ltl2tgba.in b/wrap/python/cgi/ltl2tgba.in
index db1f093b6..b8984888d 100644
--- a/wrap/python/cgi/ltl2tgba.in
+++ b/wrap/python/cgi/ltl2tgba.in
@@ -166,7 +166,8 @@ letter operators are not assumed to be operators if they are part of
 an indentifier: <code>aUb</code> is an atomic proposition, unlike
 <code>a&nbsp;U&nbsp;b</code> and <code>(a)U(b)</code><br>
 
-<table border="1" rules="groups" frame="border" cellpadding="2">
+<table border="1"><tr><td>
+<table border="0" rules="groups" frame="void" cellpadding="3" cellspacing=0>
   <colgroup span=2>
   <colgroup span=2>
   <colgroup span=2>
@@ -217,7 +218,7 @@ an indentifier: <code>aUb</code> is an atomic proposition, unlike
     </tr>
 
   </tbody>
-</table></p>
+</table></td></tr></table></p>
 Translator:<TABLE><TR><TD>""" % (myself, cgi.escape(formula, True))