diff --git a/collects/scribblings/reference/filesystem.scrbl b/collects/scribblings/reference/filesystem.scrbl
index 7534bf111b..81cf228d7b 100644
--- a/collects/scribblings/reference/filesystem.scrbl
+++ b/collects/scribblings/reference/filesystem.scrbl
@@ -152,7 +152,9 @@ paths. Parts of @scheme[str] that do not form a valid path are not
 included in the returned list.}
 
 
-@defproc[(find-executable-path [program-sub path-string?][related-sub path-string?][deepest? any/c #f]) 
+@defproc[(find-executable-path [program-sub path-string?]
+                               [related-sub (or/c path-string? #f) #f]
+                               [deepest? any/c #f]) 
          (or/c path? #f)]{
 
 Finds a path for the executable @scheme[program-sub], returning
diff --git a/collects/scribblings/reference/namespaces.scrbl b/collects/scribblings/reference/namespaces.scrbl
index 407e75b6d4..3fdfd34a22 100644
--- a/collects/scribblings/reference/namespaces.scrbl
+++ b/collects/scribblings/reference/namespaces.scrbl
@@ -369,13 +369,13 @@ result is the namespace in which the referenced variable is defined.}
 
 
 @defproc[(variable-reference->resolved-module-path [varref variable-reference?])
-         resolved-module-path?]{
+         (or/c resolved-module-path? #f)]{
 
 If @scheme[varref] refers to a @tech{module-level variable}, the
 result is a @tech{resolved module path} naming the module.
 
 If @scheme[varref] refers to a @tech{top-level variable}, then the
-@exnraise[exn:fail:contract].}
+result is @scheme[#f].}
 
 @defproc[(variable-reference->phase [varref variable-reference?])
          exact-nonnegative-integer?]{