diff --git a/ChangeLog b/ChangeLog
index 4fef70a353..cfd31b1e68 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,7 @@
+2001-09-17  Jean-Marc Lasgouttes  <Jean-Marc.Lasgouttes@inria.fr>
+
+	* lib/CREDITS: add Michael Schmitt.
+
 2001-09-13  Jean-Marc Lasgouttes  <Jean-Marc.Lasgouttes@inria.fr>
 
 	* lib/layouts/heb-article.layout: fix labelfont of Proof layout
diff --git a/lib/CREDITS b/lib/CREDITS
index 07c25735ec..0138e771a9 100644
--- a/lib/CREDITS
+++ b/lib/CREDITS
@@ -173,6 +173,9 @@
 @bMichael Ressler
 @iE-mail: mike.ressler@alum.mit.edu
    various documentation contributions, AASTeX support
+@bMichael Schmitt
+@iE-mail: Michael.Schmitt@teststep.org
+   lots of bug reports and purify runs
 @bHubert Schreier
    spellchecker (ispell frontend)
    beautiful document-manager based on the simple