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