diff --git a/ChangeLog b/ChangeLog
index 63fb82594..8a0b305ca 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,7 @@
+2006-02-03  Alexandre Duret-Lutz  <adl@src.lip6.fr>
+
+	* iface/gspn/ssp.cc (spot): Typo.
+
 2006-02-02  Alexandre Duret-Lutz  <adl@src.lip6.fr>
 
 	* src/tgbaalgos/gtec/gtec.cc (couvreur99_check_shy::check):
diff --git a/iface/gspn/ssp.cc b/iface/gspn/ssp.cc
index 2fa8e61dc..4eb4fc1cd 100644
--- a/iface/gspn/ssp.cc
+++ b/iface/gspn/ssp.cc
@@ -980,7 +980,7 @@ namespace spot
 	    }
 	}
 
-      state_index_p res;
+      numbered_state_heap::state_index_p res;
       if (i == h.end())
 	{
 	  res.first = 0;