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