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