diff --git a/ChangeLog b/ChangeLog
index c1727ddc5..09f8453e0 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,7 @@
+2011-02-07  Alexandre Duret-Lutz  <adl@lrde.epita.fr>
+
+	* NEWS: Typos.
+
 2011-02-07  Alexandre Duret-Lutz  <adl@lrde.epita.fr>
 
 	* NEWS, configure.ac: Bump version to 0.7.1a
diff --git a/NEWS b/NEWS
index ca194cc77..e588f252e 100644
--- a/NEWS
+++ b/NEWS
@@ -10,14 +10,14 @@ New in spot 0.7.1 (2001-02-07):
   * The neverclaim parser will accept guards of the form
         :: !(...) -> goto ...
     instead of the more commonly used
-        :: (!(...)) -> goto
+        :: (!(...)) -> goto ...
     This makes it possible to read neverclaims provided by the Büchi Store.
   * A new ltl2tgba option, -kt, will count the number of "sub-transitions".
-    I.e., a transition labelled by "true" count for 4 "sub-transitions"
+    I.e., a transition labelled by "true" counts for 4 "sub-transitions"
     if the automaton uses 2 atomic propositions.
   * Bugs fixed:
     - Fix segfault during WDBA minimization on automata with useless states.
-    - Use the included BuDDy library if the one alrady installed
+    - Use the included BuDDy library if the one already installed
       is older than the one distributed with Spot 0.7.
     - Fix two typos in the code of the CGI scripts.