diff --git a/lib/weblib.php b/lib/weblib.php
index d0a07f37cdd..33712659c8a 100644
--- a/lib/weblib.php
+++ b/lib/weblib.php
@@ -1849,6 +1849,15 @@ function print_header ($title='', $heading='', $navigation='', $focus='', $meta=
 
     global $USER, $CFG, $THEME, $SESSION, $ME, $SITE, $HTTPSPAGEREQUIRED;
 
+/// This makes sure that the header is never repeated twice on a page
+    static $headerprinted = false;
+
+    if ($headerprinted) {
+        return;
+    } else {
+        $headerprinted = true;
+    }
+
 /// This is an ugly hack to be replaced later by a proper global $COURSE
     global $course;
     if (!empty($course->lang)) {