diff --git a/ChangeLog b/ChangeLog
index 4ce9fd5e1..d0dfda404 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,12 @@
+2011-03-30  Alexandre Duret-Lutz  <adl@lrde.epita.fr>
+
+	Protect the state destructor.
+
+	Client code should always call the destroy() method instead.  (It
+	was introduced in Spot 0.7.)
+
+	* src/tgba/state.hh (state::~state): Make it protected.
+
 2011-03-30  Alexandre Duret-Lutz  <adl@lrde.epita.fr>
 
 	Speedup tgba_product when one of the argument is a Kripke structure.
diff --git a/src/tgba/state.hh b/src/tgba/state.hh
index 8947bd89e..318510f8f 100644
--- a/src/tgba/state.hh
+++ b/src/tgba/state.hh
@@ -88,9 +88,7 @@ namespace spot
       delete this;
     }
 
-    // FIXME: Make the destructor protected after Spot 0.7.
-    //protected:
-
+  protected:
     /// \brief Destructor.
     ///
     /// \deprecated Client code should now call