diff --git a/NEWS b/NEWS
index e0a817282..9a55056b4 100644
--- a/NEWS
+++ b/NEWS
@@ -8,6 +8,7 @@ New in spot 1.1.2a (not releaased)
       the acceptance sets of an SCC but the first one were useless.
     - The script in bench/spin13/ would not work on MacOS X because
       of some non-portable command.
+    - A memory corruption in ltlcross.
 
 New in spot 1.1.2 (2013-06-09)
 
diff --git a/THANKS b/THANKS
index 8c7623ffd..f318e8a9e 100644
--- a/THANKS
+++ b/THANKS
@@ -10,6 +10,7 @@ Gerard J. Holzmann
 Heikki Tauriainen
 Jean-Michel Couvreur
 Jean-Michel Ilié
+Joachim Klein
 Kristin Y. Rozier
 Martin Dieguez Lodeiro
 Michael Weber
diff --git a/src/bin/ltlcross.cc b/src/bin/ltlcross.cc
index a04049404..46035ff6c 100644
--- a/src/bin/ltlcross.cc
+++ b/src/bin/ltlcross.cc
@@ -970,7 +970,6 @@ namespace
 	  nf->destroy();
 	}
 
-      f->destroy();
       cleanup();
       ++round;
 
@@ -999,6 +998,7 @@ namespace
 	}
 
       spot::ltl::atomic_prop_set* ap = spot::ltl::atomic_prop_collect(f);
+      f->destroy();
 
       for (unsigned p = 0; p < products; ++p)
 	{