diff --git a/ChangeLog b/ChangeLog
index 5e70704bd..ab4def404 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,7 @@
+2011-03-20  Alexandre Duret-Lutz  <adl@lrde.epita.fr>
+
+	* THANKS: Add Michael Weber for his help on the DiVinE interface.
+
 2011-03-18  Alexandre Duret-Lutz  <adl@lrde.epita.fr>
 
 	* src/ltltest/genltl.cc (syntax): Typos in the help text.
@@ -80,7 +84,6 @@
 
 	* iface/dve2/README: New file.
 	* NEWS: Mention it.
-	* THANKS: Add Michael Weber.
 
 2011-03-06  Alexandre Duret-Lutz  <adl@lrde.epita.fr>
 
diff --git a/THANKS b/THANKS
index ddcbe09f8..7c39bb65b 100644
--- a/THANKS
+++ b/THANKS
@@ -5,6 +5,7 @@ Heikki Tauriainen
 Jean-Michel Couvreur
 Jean-Michel Ilié
 Kristin Y. Rozier
+Michael Weber
 Rüdiger Ehlers
 Silien Hong
 Yann Thierry-Mieg