diff --git a/htdocs/main.inc.php b/htdocs/main.inc.php
index 7cc12bbba03..ce793f0ffad 100644
--- a/htdocs/main.inc.php
+++ b/htdocs/main.inc.php
@@ -969,7 +969,7 @@ function top_htmlhead($head, $title='', $disablejs=0, $disablehead=0, $arrayofjs
{
print ''."\n";
print ''."\n";
print ''."\n";
}