diff --git a/collects/syntax/doc.txt b/collects/syntax/doc.txt
index 6f2b83b2ef..62a8a89268 100644
--- a/collects/syntax/doc.txt
+++ b/collects/syntax/doc.txt
@@ -302,7 +302,9 @@ currently exist).
   named `expected-module-sym' (plus a prefix, if
   `current-module-name-prefix' is set) --- at least if `module' is
   bound in the top-level to MzScheme's `module'. The syntax object
-  `stx' can contain a compiled expression.
+  `stx' can contain a compiled expression. Also, `stx' can be an
+  end-of-file, on the grounds that `read-syntax' can produce an
+  end-of-file.
 
   If `stx' can declare a module in an appropriate top-level, then the
   `check-module-form' procedure returns a syntax object that certainly
diff --git a/collects/syntax/moddep.ss b/collects/syntax/moddep.ss
index 3c8b79af04..524775bb8d 100644
--- a/collects/syntax/moddep.ss
+++ b/collects/syntax/moddep.ss
@@ -411,7 +411,7 @@
     (or/c simple-rel-to-module-path-v/c (-> simple-rel-to-module-path-v/c)))
 
   (provide/contract
-   [check-module-form (syntax? symbol? (or/c string? path? false/c) . -> . any)]
+   [check-module-form ((or/c syntax? eof-object?) symbol? (or/c string? path? false/c) . -> . any)]
 
    [get-module-code ([path-string?]
                      [(and/c path-string? relative-path?)