diff --git a/collects/scribblings/main/private/search-context.html b/collects/scribblings/main/private/search-context.html
index 834c7654ab..c74675a111 100644
--- a/collects/scribblings/main/private/search-context.html
+++ b/collects/scribblings/main/private/search-context.html
@@ -23,6 +23,9 @@ if (location.search.length > 0) {
     // an empty "hq=" can be used to clear the cookie
     if (param[0] == "hq") {
       SetCookie("PLT_PreQuery", ((param.length==2) ? unescape(param[1]) : ""));
+    } else if (param[0] == "label") {
+      SetCookie("PLT_PreQueryLabel",
+                ((param.length==2) ? unescape(param[1]) : ""));
     } else {
       newsearch = (newsearch == null)
                     ? paramstrs[i] : (newsearch + "&" + paramstrs[i]);