diff --git a/ChangeLog b/ChangeLog
index 656c8337b..c9962f1e1 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,12 @@
+2012-03-08  Alexandre Duret-Lutz  <adl@lrde.epita.fr>
+
+	ltl2tgba.html: Fix initialization of unset options on reload.
+
+	* wrap/python/ajax/ltl2tgba.html: On page reload, do not ignore
+	fields for which no value has been set in the hash fragment.
+	Otherwise they will keep their default value.
+	Reported by Thomas Badie.
+
 2012-03-08  Alexandre Duret-Lutz  <adl@lrde.epita.fr>
 
 	* wrap/python/ajax/spot.in: Fix emulation of execfile.
diff --git a/wrap/python/ajax/ltl2tgba.html b/wrap/python/ajax/ltl2tgba.html
index 6a3eac25a..87919afdd 100644
--- a/wrap/python/ajax/ltl2tgba.html
+++ b/wrap/python/ajax/ltl2tgba.html
@@ -72,9 +72,7 @@
 		    value = hashparam[name];
 		    if (value.constructor != Array)
 			value = [value];
-		} else {
-		    return;
-                }
+		}
 		switch(this.type || this.tagName.toLowerCase()) {
 		case "radio":
 		case "checkbox":