diff --git a/classes/display/HTMLDisplayHandler.php b/classes/display/HTMLDisplayHandler.php
index 837a5ba6d..6fa2263fb 100644
--- a/classes/display/HTMLDisplayHandler.php
+++ b/classes/display/HTMLDisplayHandler.php
@@ -93,6 +93,9 @@ class HTMLDisplayHandler {
// move in body to the header
$output = preg_replace_callback('!