diff --git a/tools/pike_verify.supp b/tools/pike_verify.supp
index d0c1d5754a29dfc5ff9a204671e3641427d4949a..ee0e443c8edfadf525c7c6b68c8f0b7294da4175 100644
--- a/tools/pike_verify.supp
+++ b/tools/pike_verify.supp
@@ -1,6 +1,6 @@
 #
-# $Id: pike_verify.supp,v 1.1 2003/10/16 01:12:21 nilsson Exp $
-# Suppresion for valgrind errors outside of Pike triggered
+# $Id: pike_verify.supp,v 1.2 2003/10/16 01:24:49 nilsson Exp $
+# Suppression file for valgrind errors outside of Pike triggered
 # by the Pike test suite.
 #