diff --git a/ChangeLog b/ChangeLog
index f11def3f3..38fcde83f 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,7 @@
+2010-04-16  Alexandre Duret-Lutz  <adl@lrde.epita.fr>
+
+	* NEWS: Typo.
+
 2010-04-16  Alexandre Duret-Lutz  <adl@lrde.epita.fr>
 
 	* NEWS, configure.ac: Bump version to 0.6a.
diff --git a/NEWS b/NEWS
index d0ad14e7a..d3b4692aa 100644
--- a/NEWS
+++ b/NEWS
@@ -39,7 +39,7 @@ New in spot 0.6 (16-04-2010):
     - The precedence of the "->" and "<->" Boolean operators has been
       adjusted to better match other tools.
       Spot <= 0.5 used to parse "a & b -> c & d" as "a & (b -> c) & d";
-      Spot >= 0.5.1 will parse it as "(a & b) -> (c & d)".
+      Spot >= 0.6 will parse it as "(a & b) -> (c & d)".
     - The random graph generator was fixed (again!) not to produce
       dead states as documented.
     - Locations in the error messages of the LTL parser were off by one.