diff --git a/doc/header.html b/doc/header.html
index 4b0b17e54..b3401c8b8 100644
--- a/doc/header.html
+++ b/doc/header.html
@@ -7,3 +7,4 @@
 <p>
 <a href="http://www.h5l.org/"><img src="http://www.h5l.org/keyhole-heimdal.png" alt="keyhole logo"/></a>
 </p>
+<!-- end of header marker -->