diff --git a/include/header.inc b/include/header.inc
index 7d505cdc4..278ad3831 100644
--- a/include/header.inc
+++ b/include/header.inc
@@ -63,7 +63,7 @@ if (!isset($config["languages"])) {
- " hreflang="">
+ " hreflang="">
$modified): ?>
diff --git a/include/shared-manual.inc b/include/shared-manual.inc
index 147fd6e96..43cbb24bd 100644
--- a/include/shared-manual.inc
+++ b/include/shared-manual.inc
@@ -390,9 +390,9 @@ function manual_setup($setup) {
$lastusernote = $note["xwhen"];
$base = "manual/" . $setup["head"][1] . "/";
- $_SERVER["BASE_PAGE"] = "/" . $base . $setup["this"][0];
+ $_SERVER["BASE_PAGE"] = $base . $setup["this"][0];
$timestamps = array(
- filemtime($_SERVER["DOCUMENT_ROOT"] . $_SERVER["BASE_PAGE"]),
+ filemtime($_SERVER["DOCUMENT_ROOT"] . "/" . $_SERVER["BASE_PAGE"]),
filemtime($_SERVER["DOCUMENT_ROOT"] . "/include/prepend.inc"),
filemtime($_SERVER["DOCUMENT_ROOT"] . "/styles/theme-base.css"),
$lastusernote,