diff --git a/src/librustdoc/html/static/js/search.js b/src/librustdoc/html/static/js/search.js
index 92a8279791de..421e8f31e970 100644
--- a/src/librustdoc/html/static/js/search.js
+++ b/src/librustdoc/html/static/js/search.js
@@ -564,7 +564,10 @@ window.initSearch = function(rawSearchIndex) {
         try {
             parseInput(query, parserState);
             if (parserState.typeFilter !== null) {
-                var typeFilter = parserState.typeFilter.replace(/^const$/, "constant");
+                var typeFilter = parserState.typeFilter;
+                if (typeFilter === "const") {
+                    typeFilter = "constant";
+                }
                 query.typeFilter = itemTypeFromName(typeFilter);
             }
         } catch (err) {