page_title: bugfix in fallback to page url

diff --git a/tools.sh b/tools.sh
index 248a2542b2a86df0d57877cc8330a150a437d88f..a85e63c5e4ca12a1bffb2b3da5220d194cb8f21a 100755 (executable)
--- a/tools.sh
+++ b/tools.sh
@@ -207,7 +207,8 @@ page_title() {
     '
   )"
   if [ ! "${PAGE_TITLE}" ]; then
-    PAGE_TITLE="${1:-${PATH_INFO%/*}}"
+    PAGE_TITLE="${1:-${PATH_INFO}}"
+    PAGE_TITLE="${PAGE_TITLE%/*}"
     PAGE_TITLE="${PAGE_TITLE##*/}"
   fi
   printf %s\\n "$PAGE_TITLE"