diff --git a/include/shared-manual.inc b/include/shared-manual.inc
index b385e092a..1d0da980d 100644
--- a/include/shared-manual.inc
+++ b/include/shared-manual.inc
@@ -149,6 +149,7 @@ SIDEBAR;
     if (($PGI['home'][1] !== $PGI['up'][1]) && $PGI['up'][1]) {
       echo "</ul></li>";
     }
+    echo "</ul>\n";
     column_box();
 
 }