diff --git a/htdocs/main.inc.php b/htdocs/main.inc.php
index 6a5ba8885c7..7103c58becb 100644
--- a/htdocs/main.inc.php
+++ b/htdocs/main.inc.php
@@ -346,7 +346,7 @@ function top_menu($head, $title="")
// print '';
// print '';
- print '';
+ print '';
// print '';
print ''."\n";