diff --git a/collects/help/private/search.ss b/collects/help/private/search.ss
index b5e225d7..480bfe6d 100644
--- a/collects/help/private/search.ss
+++ b/collects/help/private/search.ss
@@ -436,14 +436,12 @@
                   files))))
            docs doc-names doc-kinds)
           (if (= 0 hit-count)
-              (cond
-                [(null? string-finds) (string-constant nothing-found-for-empty-search)]
-                [else
-                 (format (string-constant nothing-found-for)
+	      (format (string-constant nothing-found-for)
                          (apply
                           string-append
 			  (cons (format "\"~a\"" (car string-finds))
 				(map (lambda (i) (format " ~a \"~a\"" (string-constant and) i))
-				     (cdr string-finds)))))])
+				     (cdr string-finds)))))
               #f))))
 
+