diff --git a/images/index.php b/images/index.php
index 7e6d2ee2f..407e3a0cc 100644
--- a/images/index.php
+++ b/images/index.php
@@ -1,6 +1,7 @@
 <?php
-// Simulate a /images shortcut call
+// $Id$
+
+// Simulate a /images shortcut call (which will lead to a manual page)
 $_SERVER['REQUEST_URI'] = '/images';
 include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc';
 include_once $_SERVER['DOCUMENT_ROOT'] . '/error.php';
-?>