diff --git a/collects/scribblings/reference/module-reflect.scrbl b/collects/scribblings/reference/module-reflect.scrbl
index ece72198e6..75676394e1 100644
--- a/collects/scribblings/reference/module-reflect.scrbl
+++ b/collects/scribblings/reference/module-reflect.scrbl
@@ -294,7 +294,7 @@ the module starting with the top-level module's declared name.}
 
 @defproc*[([(module-compiled-submodules [compiled-module-code compiled-module-expression?]
                                         [non-star? any/c])
-            symbol?]
+            (listof compiled-module-expression?)]
            [(module-compiled-submodules [compiled-module-code compiled-module-expression?]
                                         [non-star? any/c]
                                         [submodules (listof compiled-module-expression?)])
diff --git a/collects/syntax/scribblings/modresolve.scrbl b/collects/syntax/scribblings/modresolve.scrbl
index 08e006232b..39bc9233a4 100644
--- a/collects/syntax/scribblings/modresolve.scrbl
+++ b/collects/syntax/scribblings/modresolve.scrbl
@@ -7,7 +7,8 @@
 
 @defproc[(resolve-module-path [module-path-v module-path?] 
                               [rel-to-path-v (or/c path-string? (-> any) false/c)])
-         path?]{
+         (or/c path? symbol?
+               (cons/c 'submod (cons/c (or/c path? symbol?) (listof symbol?))))]{
 
 Resolves a module path to filename path. The module path is resolved
 relative to @racket[rel-to-path-v] if it is a path string (assumed to
@@ -16,7 +17,8 @@ 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)])
-         path?]{
+         (or/c path? symbol?
+               (cons/c 'submod (cons/c (or/c path? symbol?) (listof symbol?))))]{
 
 Like @racket[resolve-module-path] but the input is a @techlink[#:doc
 refman]{module path index}; in this case, the @racket[rel-to-path-v]