diff --git a/pkgs/racket-doc/syntax/scribblings/modresolve.scrbl b/pkgs/racket-doc/syntax/scribblings/modresolve.scrbl
index 76cd0726be..cada391532 100644
--- a/pkgs/racket-doc/syntax/scribblings/modresolve.scrbl
+++ b/pkgs/racket-doc/syntax/scribblings/modresolve.scrbl
@@ -6,7 +6,7 @@
 @defmodule[syntax/modresolve]
 
 @defproc[(resolve-module-path [module-path-v module-path?] 
-                              [rel-to-path-v (or/c path-string? (-> any) false/c)])
+                              [rel-to-path-v (or/c #f path-string? (-> any)) #f])
          (or/c path? symbol?
                (cons/c 'submod (cons/c (or/c path? symbol?) (listof symbol?))))]{
 
@@ -16,7 +16,7 @@ be for a file), to the directory result of calling the thunk if it is
 a thunk, or to the current directory otherwise.}
 
 @defproc[(resolve-module-path-index [module-path-index module-path-index?] 
-                                    [rel-to-path-v (or/c path-string? (-> any) false/c)])
+                                    [rel-to-path-v (or/c #f path-string? (-> any)) #f])
          (or/c path? symbol?
                (cons/c 'submod (cons/c (or/c path? symbol?) (listof symbol?))))]{
 
diff --git a/racket/collects/syntax/modresolve.rkt b/racket/collects/syntax/modresolve.rkt
index 1e4578e6c1..a99c6f5011 100644
--- a/racket/collects/syntax/modresolve.rkt
+++ b/racket/collects/syntax/modresolve.rkt
@@ -106,7 +106,7 @@
                                (if (equal? (cadr s) "..") (cdr s) (cddr s))))]
         [else #f]))
 
-(define (resolve-module-path-index mpi relto)
+(define (resolve-module-path-index mpi [relto #f])
   ;; relto must be a complete path
   (let-values ([(path base) (module-path-index-split mpi)])
     (if path
@@ -118,7 +118,7 @@
                                                  (append submod sm)
                                                  (or sm submod)))))))
 
-(define (resolve-possible-module-path-index base relto)
+(define (resolve-possible-module-path-index base [relto #f])
   (cond [(module-path-index? base)
          (resolve-module-path-index base relto)]
         [(and (resolved-module-path? base)