diff --git a/ChangeLog b/ChangeLog
index 8835c4acf..304186574 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,11 @@
+2011-02-03  Alexandre Duret-Lutz  <adl@lrde.epita.fr>
+
+	Minor fixes to ltl2tgba.html.
+
+	* wrap/python/ajax/css/ltl2tgba.css,
+	wrap/python/ajax/ltl2tgba.html: Tweak a few things for Firefox
+	3.0, and fix a </li> tag.
+
 2011-02-01  Alexandre Duret-Lutz  <adl@lrde.epita.fr>
 
 	* NEWS, configure.ac: Bump version to 0.7a.
diff --git a/wrap/python/ajax/css/ltl2tgba.css b/wrap/python/ajax/css/ltl2tgba.css
index 1f4cf8602..ca88060ce 100644
--- a/wrap/python/ajax/css/ltl2tgba.css
+++ b/wrap/python/ajax/css/ltl2tgba.css
@@ -8,8 +8,10 @@ html {overflow-y:scroll;}
 input.formula {
     width: 700px;
 }
-div#send {
-    width: 80px;
+
+span#send {
+    width: 60px;
+    margin-left: 4px;
 }
 
 div.ltl2tgba {
diff --git a/wrap/python/ajax/ltl2tgba.html b/wrap/python/ajax/ltl2tgba.html
index dc1ec1d5c..3d7c0ce22 100644
--- a/wrap/python/ajax/ltl2tgba.html
+++ b/wrap/python/ajax/ltl2tgba.html
@@ -171,8 +171,7 @@
 	  <div class="ui-widget ui-widget-content ui-corner-all collapsible">
 	    <h3 id="ltl-head" class="ui-widget-header ui-corner-all head">LTL Formula to translate<span class="ui-icon ui-icon-circle-arrow-n ltltip">Fold</span></h3>
 	    <div class="dontcollapse">
-	      <INPUT class="formula" type="text" name="f" value=""> <div id="send" class="btip" title="Submit the formula and all options.  You may simply hit <b>enter</b> after typing the formula.  After the first submission the form will auto-update itself anytime you change an option.">Send</div>
-	    </div>
+	      <INPUT class="formula" type="text" name="f" value=""><span id="send" class="btip" title="Submit the formula and all options.  You may simply hit <b>enter</b> after typing the formula.  After the first submission the form will auto-update itself anytime you change an option.">Send</span></div>
 	    <div id="ltl-help">
 <p>Use alphanumeric identifiers or double-quoted strings for atomic
 propositions, and parentheses for grouping.<BR>Identifiers cannot
@@ -269,7 +268,7 @@ an identifier: <span class="formula">aUb</span> is an atomic proposition, unlike
 	      <li><a href="#tabs-monitor" class="btip" title="Create a monitor accepting all finite prefixes compatible with the formula.">Monitor</a></li>
 	      <li><a href="#tabs-automaton" class="btip" title="Translate the LTL formula into B&uuml;chi automaton.">B&uuml;chi Automaton</a></li>
 	      <li><a href="#tabs-run" class="btip" title="Translate the LTL formula into B&uuml;chi automaton, and exhibit an accepting run.">B&uuml;chi Run</a></li>
-	      <li class="ui-icon ui-icon-circle-arrow-n ftip">Fold/li>
+	      <li class="ui-icon ui-icon-circle-arrow-n ftip">Fold</li>
 	    </ul>
 	    <input type="hidden" name="o">
 	    <div>