diff --git a/pkgs/drracket-pkgs/drracket/drracket/private/get-module-path.rkt b/pkgs/drracket-pkgs/drracket/drracket/private/get-module-path.rkt
index 4bad74e8b7..78717173df 100644
--- a/pkgs/drracket-pkgs/drracket/drracket/private/get-module-path.rkt
+++ b/pkgs/drracket-pkgs/drracket/drracket/private/get-module-path.rkt
@@ -15,7 +15,7 @@
          #:dir? [dir? boolean?])
         [res (dir?)
              (if (or dir? (not (equal? dir? the-unsupplied-arg)))
-                 (listof path?)
+                 (or/c (listof path?) #f)
                  (or/c path? #f))])]))
 
 (define (get-module-path-from-user #:init [init-value ""]