diff --git a/BUGS b/BUGS
index 52ee6405c..ceb0356dd 100644
--- a/BUGS
+++ b/BUGS
@@ -1,3 +1,4 @@
+// This file is part of the Doyxgen Developer Manual
 /** @page bugs Bug Reporting
 
 Please report bugs by subscribing to the OpenOCD mailing list and
diff --git a/PATCHES b/PATCHES
index ed980b856..74fd69676 100644
--- a/PATCHES
+++ b/PATCHES
@@ -1,7 +1,7 @@
+// This file is part of the Doyxgen Developer Manual
 /** @page patchguide Patch Guidelines
 
-Please mail patches to:
-
+Please mail patches to: @par
 	openocd-development@lists.berlios.de
 
 Note that you can't send patches to that list unless
diff --git a/TODO b/TODO
index ea86fa816..d000d5a25 100644
--- a/TODO
+++ b/TODO
@@ -1,3 +1,4 @@
+// This file is part of the Doyxgen Developer Manual
 /** @page tasks Pending and Open Tasks
 
 This page lists pending and open tasks being considered or worked upon