diff --git a/collects/help/private/search.ss b/collects/help/private/search.ss
index 61b5f841..e17cdf78 100644
--- a/collects/help/private/search.ss
+++ b/collects/help/private/search.ss
@@ -20,16 +20,16 @@
      (-> any)
      (string? any/c . -> . void?)
      (string? any/c . -> . void?)
-     (string? string? string? path? (union string? number? false/c) any/c . -> . void?)
+     (string? string? string? path? (or/c string? number? false/c) any/c . -> . void?)
      . -> .
-     (union string? false/c))]
+     (or/c string? false/c))]
    
    (build-string-finds/finds (string? 
                               boolean?
                               boolean?
                               . -> . 
                               (values (listof string?) 
-                                      (listof (union regexp? string?)))))
+                                      (listof (or/c regexp? string?)))))
    
    (non-regexp (string? . -> . string?)))