diff --git a/ChangeLog b/ChangeLog
index 85c91448e..760f30c2d 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,10 @@
+2006-02-10  Alexandre Duret-Lutz  <adl@src.lip6.fr>
+
+	* iface/gspn/ssp.cc (couvreur99_check_shy_ssp::find_state): Correctly
+	update the emptiness statistics.
+
+	* m4/gspnlib.m4: Typo.
+
 2006-02-05  Alexandre Duret-Lutz  <adl@gnu.org>
 
 	* iface/gspn/ssp.cc: Pacify sanity.test.
diff --git a/iface/gspn/ssp.cc b/iface/gspn/ssp.cc
index a91d2f606..eb576b512 100644
--- a/iface/gspn/ssp.cc
+++ b/iface/gspn/ssp.cc
@@ -970,6 +970,7 @@ namespace spot
 				  (succ_tgba_[i],
 				   old_state->right()->clone());
 			      queue.push_back(successor(queue.begin()->acc, s));
+			      inc_depth();
 			    }
 			  if (size_tgba_ != 0)
 			    diff_succ_free(succ_tgba_);
diff --git a/m4/gspnlib.m4 b/m4/gspnlib.m4
index 3c1283ea0..b9440454c 100644
--- a/m4/gspnlib.m4
+++ b/m4/gspnlib.m4
@@ -1,6 +1,6 @@
 AC_DEFUN([AX_CHECK_GSPNLIB], [
   AC_ARG_WITH([gspn],
-	      [AC_HELP_STRING([--with-gpsn=/root/of/greatspn],
+	      [AC_HELP_STRING([--with-gspn=/root/of/greatspn],
 			      [build interface with GreadSPN])])
   if test "x${with_gspn-no}" != xno; then
     ax_tmp_LDFLAGS=$LDFLAGS