diff --git a/collects/scribblings/main/private/make-search.ss b/collects/scribblings/main/private/make-search.ss
index fa9ea602da..aa9cd55869 100644
--- a/collects/scribblings/main/private/make-search.ss
+++ b/collects/scribblings/main/private/make-search.ss
@@ -188,4 +188,4 @@
       (script-ref "search.js")
       (make-render-element null null
                            (lambda (r s i) (make-script user-dir? r s i)))))
-    (make-styled-paragraph '() '(div-hack [id "plt_search_container"])))))
+    (make-styled-paragraph '() '(div [id "plt_search_container"])))))