diff --git a/NEWS b/NEWS
index bf1593d6d..b3e69866c 100644
--- a/NEWS
+++ b/NEWS
@@ -1,6 +1,8 @@
 New in spot 1.1a (not yet released):
 
-  Nothing yet.
+  Bug fixes:
+
+    - genltl --gh-r generated the wrong formulas due to a typo.
 
 New in spot 1.1 (2013-04-28):
 
diff --git a/THANKS b/THANKS
index 6cca9ada1..8c7623ffd 100644
--- a/THANKS
+++ b/THANKS
@@ -5,6 +5,7 @@ Akim Demaille
 Christian Dax
 Étienne Renault
 Felix Klaedtke
+František Blahoudek
 Gerard J. Holzmann
 Heikki Tauriainen
 Jean-Michel Couvreur
diff --git a/src/bin/genltl.cc b/src/bin/genltl.cc
index fd7b7c9fb..678f396a5 100644
--- a/src/bin/genltl.cc
+++ b/src/bin/genltl.cc
@@ -1,6 +1,6 @@
 // -*- coding: utf-8 -*-
-// Copyright (C) 2012 Laboratoire de Recherche et Développement de
-// l'Epita (LRDE).
+// Copyright (C) 2012, 2013 Laboratoire de Recherche et Développement
+// de l'Epita (LRDE).
 //
 // This file is part of Spot, a model checking library.
 //
@@ -429,7 +429,7 @@ R_n(std::string name, int n)
       p << name << i + 1;
       pi = env.require(p.str());
 
-      const formula* fg = G_(F_(pi->clone()));
+      const formula* fg = F_(G_(pi->clone()));
 
       const formula* f = Or_(gf, fg);