diff --git a/lib/docs/main.js b/lib/docs/main.js
index ebbe137979..1b15183046 100644
--- a/lib/docs/main.js
+++ b/lib/docs/main.js
@@ -3264,8 +3264,7 @@ var zigAnalysis;
     let oldHash = location.hash;
     let parts = oldHash.split("?");
     let newPart2 = domSearch.value === "" ? "" : "?" + domSearch.value;
-    location.hash =
-      parts.length === 1 ? oldHash + newPart2 : parts[0] + newPart2;
+    location.replace(parts.length === 1 ? oldHash + newPart2 : parts[0] + newPart2);
   }
   function getSearchTerms() {
     let list = curNavSearch.trim().split(/[ \r\n\t]+/);