diff --git a/collects/scribblings/main/private/search.js b/collects/scribblings/main/private/search.js
index 8d5cb37702..8712ab4766 100644
--- a/collects/scribblings/main/private/search.js
+++ b/collects/scribblings/main/private/search.js
@@ -196,7 +196,10 @@ function MaxCompares(pat, strs) {
 }
 
 function UrlToManual(url) {
-  return url.replace(/\/[^\/]*$/, "").replace(/^(.*\/|>)/, "");
+  return url.replace(/#.*$/, "")       // remove fragment,
+            .replace(/\?.*$/, "")      // query,
+            .replace(/\/[^\/]*$/, "")  // filename,
+            .replace(/^(.*\/|>)/, ""); // and directory.
 }
 
 function CompileTerm(term) {