diff --git a/mps/tool/branch b/mps/tool/branch
index bb54f0d4527..981735d4360 100755
--- a/mps/tool/branch
+++ b/mps/tool/branch
@@ -1,11 +1,10 @@
 #!/usr/bin/env python
 #
-#                              Ravenbrook
-#                     <http://www.ravenbrook.com/>
-#
 #              BRANCH -- CREATE VERSION OR TASK BRANCH
-#
 #             Gareth Rees, Ravenbrook Limited, 2014-03-18
+# 
+# $Id$
+# Copyright (c) 2014 Ravenbrook Limited. See end of file for license.
 #
 #
 # 1. INTRODUCTION
diff --git a/mps/tool/release b/mps/tool/release
index 6daf82bed1c..d47fc36e788 100755
--- a/mps/tool/release
+++ b/mps/tool/release
@@ -1,11 +1,10 @@
 #!/usr/bin/env python
 #
-#                              Ravenbrook
-#                     <http://www.ravenbrook.com/>
-#
 #                     RELEASE -- MAKE A RELEASE
-#
 #             Gareth Rees, Ravenbrook Limited, 2014-03-18
+# 
+# $Id$
+# Copyright (c) 2014 Ravenbrook Limited. See end of file for license.
 #
 #
 # 1. INTRODUCTION
diff --git a/mps/tool/testcoverage b/mps/tool/testcoverage
index cf4c62ae703..56ee5789bbf 100755
--- a/mps/tool/testcoverage
+++ b/mps/tool/testcoverage
@@ -1,11 +1,10 @@
 #!/bin/sh
 #
-#                              Ravenbrook
-#                     <http://www.ravenbrook.com/>
-#
 #          TESTCOVERAGE -- TEST COVERAGE REPORT FOR THE MPS
-#
 #             Gareth Rees, Ravenbrook Limited, 2014-03-21
+# 
+# $Id$
+# Copyright (c) 2014 Ravenbrook Limited. See end of file for license.
 #
 #
 # 1. INTRODUCTION
diff --git a/mps/tool/testemscripten b/mps/tool/testemscripten
index 4639e9e69a4..b4c565440db 100755
--- a/mps/tool/testemscripten
+++ b/mps/tool/testemscripten
@@ -1,11 +1,10 @@
 #!/bin/sh
 #
-#                              Ravenbrook
-#                     <http://www.ravenbrook.com/>
-#
 #            TESTEMSCRIPTEN -- TEST THE MPS WITH EMSCRIPTEN
-#
 #             Gareth Rees, Ravenbrook Limited, 2014-04-17
+# 
+# $Id$
+# Copyright (c) 2014 Ravenbrook Limited. See end of file for license.
 #
 #
 # 1. INTRODUCTION
diff --git a/mps/tool/testopendylan b/mps/tool/testopendylan
index 0c185ff2fd0..4bd1488261c 100755
--- a/mps/tool/testopendylan
+++ b/mps/tool/testopendylan
@@ -1,11 +1,10 @@
 #!/bin/sh
 #
-#                              Ravenbrook
-#                     <http://www.ravenbrook.com/>
-#
 #            TESTOPENDYLAN -- TEST THE MPS WITH OPENDYLAN
-#
 #             Gareth Rees, Ravenbrook Limited, 2014-03-20
+# 
+# $Id$
+# Copyright (c) 2014 Ravenbrook Limited. See end of file for license.
 #
 #
 # 1. INTRODUCTION