diff --git a/collects/setup/private/doc-path.ss b/collects/setup/private/doc-path.ss
index 06409cc5b4..41908d98ef 100644
--- a/collects/setup/private/doc-path.ss
+++ b/collects/setup/private/doc-path.ss
@@ -6,15 +6,10 @@
 (provide doc-path)
 
 (define (doc-path dir name flags)
-  (cond
-   [(memq 'main-doc-root flags)
-    (find-doc-dir)]
-   [(memq 'user-doc-root flags)
-    (find-user-doc-dir)]
-   [(memq 'user-doc flags)
-    (build-path (find-user-doc-dir) name)]
-   [(or (memq 'main-doc flags)
-        (pair? (path->main-collects-relative dir)))
-    (build-path (find-doc-dir) name)]
-   [else
-    (build-path dir "doc" name)]))
+  (cond [(memq 'main-doc-root flags) (find-doc-dir)]
+        [(memq 'user-doc-root flags) (find-user-doc-dir)]
+        [(memq 'user-doc flags)      (build-path (find-user-doc-dir) name)]
+        [(or (memq 'main-doc flags)
+             (pair? (path->main-collects-relative dir)))
+         (build-path (find-doc-dir) name)]
+        [else (build-path dir "doc" name)]))