diff --git a/ChangeLog b/ChangeLog
index 65565272e..546bfa279 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,7 @@
+2011-03-05  Alexandre Duret-Lutz  <adl@lrde.epita.fr>
+
+	* src/ltltest/genltl.cc (GF_n): Really use "op".
+
 2011-03-04  Alexandre Duret-Lutz  <adl@lrde.epita.fr>
 
 	* wrap/python/ajax/spot.in: Use the degeneralized automaton if
diff --git a/src/ltltest/genltl.cc b/src/ltltest/genltl.cc
index 57e943f04..7ba021f88 100644
--- a/src/ltltest/genltl.cc
+++ b/src/ltltest/genltl.cc
@@ -201,7 +201,7 @@ formula* GF_n(std::string name, int n, bool conj = true)
 						 env.require(p.str())));
 
       if (result)
-	result = multop::instance(multop::And, f, result);
+	result = multop::instance(op, f, result);
       else
 	result = f;
     }