diff --git a/include/shared-manual.inc b/include/shared-manual.inc
index 10e142a99..bd7544abb 100644
--- a/include/shared-manual.inc
+++ b/include/shared-manual.inc
@@ -66,7 +66,8 @@ function makeBorderTOC($this) {
 
 // Print out manual navigation bar
 function navigationBar($title,$id,$loc) {
-    global $NEXT, $PREV, $tstamp, $SERVER_NAME, $SERVER_PORT, $PHP_SELF, $LANGUAGES, $REQUEST_URI;
+    global $NEXT, $PREV, $tstamp, $SERVER_NAME, $SERVER_PORT,
+           $PHP_SELF, $LANGUAGES, $REQUEST_URI, $www_static_root;
 
     echo '<table border="0" width="100%" bgcolor="#e0e0e0" cellpadding="0" cellspacing="4">';