diff --git a/ChangeLog b/ChangeLog
index a15d0e6ad..85c91448e 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,7 @@
+2006-02-05  Alexandre Duret-Lutz  <adl@gnu.org>
+
+	* iface/gspn/ssp.cc: Pacify sanity.test.
+
 2006-02-03  Alexandre Duret-Lutz  <adl@src.lip6.fr>
 
 	* iface/gspn/ssp.cc (couvreur99_check_shy_ssp::find_state): Typo.
diff --git a/iface/gspn/ssp.cc b/iface/gspn/ssp.cc
index 4eb4fc1cd..a91d2f606 100644
--- a/iface/gspn/ssp.cc
+++ b/iface/gspn/ssp.cc
@@ -1,6 +1,6 @@
-// Copyright (C) 2003, 2004, 2005, 2006  Laboratoire d'Informatique de Paris 6 (LIP6),
-// département Systèmes Répartis Coopératifs (SRC), Université Pierre
-// et Marie Curie.
+// Copyright (C) 2003, 2004, 2005, 2006 Laboratoire d'Informatique de
+// Paris 6 (LIP6), département Systèmes Répartis Coopératifs (SRC),
+// Université Pierre et Marie Curie.
 //
 // This file is part of Spot, a model checking library.
 //