diff --git a/ChangeLog b/ChangeLog
index 72f7980ac..c77b35f08 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+2008-03-21  Alexandre Duret-Lutz  <adl@lrde.epita.fr>
+
+	* src/tgbatest/ltl2tgba.cc, src/misc/hash.hh: Reformat the header
+	using 80 columns.
+
 2008-03-14  Alexandre Duret-Lutz  <adl@lrde.epita.fr>
 
 	Make sure Spot compiles with g++-4.3.
diff --git a/src/misc/hash.hh b/src/misc/hash.hh
index 4cc1ad376..88515b9f4 100644
--- a/src/misc/hash.hh
+++ b/src/misc/hash.hh
@@ -1,6 +1,6 @@
-// Copyright (C) 2003, 2004, 2005, 2008  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, 2008 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.
 //
diff --git a/src/tgbatest/ltl2tgba.cc b/src/tgbatest/ltl2tgba.cc
index 2c823d019..02a5213ec 100644
--- a/src/tgbatest/ltl2tgba.cc
+++ b/src/tgbatest/ltl2tgba.cc
@@ -1,6 +1,6 @@
-// Copyright (C) 2003, 2004, 2005, 2006, 2007, 2008 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, 2007, 2008 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.
 //