diff --git a/ChangeLog b/ChangeLog
index a154df645..95ff962bd 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,10 @@
+2009-11-10  Alexandre Duret-Lutz  <adl@lrde.epita.fr>
+
+	Typo from a previous patch.
+
+	* src/tgbaalgos/ltl2tgba_fm.cc (ltl_to_tgba_fm): Fix a typo
+	introduced three patches ago in the handling of unobserved events.
+
 2009-11-10  Alexandre Duret-Lutz  <adl@lrde.epita.fr>
 
 	Do not comment states in the never claim by default.  It takes too
diff --git a/src/tgbaalgos/ltl2tgba_fm.cc b/src/tgbaalgos/ltl2tgba_fm.cc
index 1cbdc82a8..e794cf7ff 100644
--- a/src/tgbaalgos/ltl2tgba_fm.cc
+++ b/src/tgbaalgos/ltl2tgba_fm.cc
@@ -924,7 +924,7 @@ namespace spot
 	    // When translating LTL for an event-based logic with
 	    // unobservable events, the 1 state should accept all events,
 	    // even unobservable events.
-	    if (unobs && f == constant::true_instance())
+	    if (unobs && now == constant::true_instance())
 	      cond_for_true = all_events;
 	    else
 	      {