diff --git a/dev/banner.txt b/dev/banner.txt
index aef9381c34..6f846a0ed1 100644
--- a/dev/banner.txt
+++ b/dev/banner.txt
@@ -1,5 +1,5 @@
 ##
-# $Id: $
+# $Id$
 ##
 
 ##