diff --git a/ChangeLog b/ChangeLog
index 9adb1c4af..723ace063 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,7 @@
+2011-03-11  Alexandre Duret-Lutz  <adl@lrde.epita.fr>
+
+	* NEWS: Mention recent changes to dotty_reachable.
+
 2011-03-10  Alexandre Duret-Lutz  <adl@lrde.epita.fr>
 
 	Add support for finite behaviors in the DVE interface.
diff --git a/NEWS b/NEWS
index 9be063356..67c75a231 100644
--- a/NEWS
+++ b/NEWS
@@ -2,6 +2,9 @@ New in spot 0.7.1a:
 
   * Spot can read DiVinE models.  See iface/dve2/README for details.
   * The experimental Nips interface has been removed.
+  * The dotty_reachable() has a new option "assume_sba" that can
+    be used for rendering automata with state-based acceptance.  In
+    that case, acceptance states are displayed with a double circle.
 
 New in spot 0.7.1 (2001-02-07):