diff --git a/ChangeLog b/ChangeLog
index 0bf6eec35..4d5d523c8 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,7 @@
+2012-01-18  Alexandre Duret-Lutz  <adl@lrde.epita.fr>
+
+	* NEWS: Mention the last two changes.
+
 2012-01-18  Alexandre Duret-Lutz  <adl@lrde.epita.fr>
 
 	Implement a unicity table for states created by tgba_tba_proxy.
diff --git a/NEWS b/NEWS
index 725e1c0cb..795437c7e 100644
--- a/NEWS
+++ b/NEWS
@@ -2,6 +2,9 @@ New in spot 0.8.1a:
 
   * configure now has a --disable-python option to disable
     the compilation of Python bindings.
+  * Minor speedups in the safra complementation.
+  * Better memory management for the on-the-fly degeneralization
+    algorith.  This mostly benefits to the Safra complementation.
   * Bug fixes:
     - spot::ltl::length() forgot to count the '&' and '|' operators
       in an LTL formula.