diff --git a/collects/syntax/modcode.rkt b/collects/syntax/modcode.rkt
index 1b25b9a0bd..858843a8c2 100644
--- a/collects/syntax/modcode.rkt
+++ b/collects/syntax/modcode.rkt
@@ -1,4 +1,4 @@
-(module modcode scheme/base
+#lang racket/base
   (require mzlib/port
            racket/contract
            "modread.ss")
@@ -21,7 +21,7 @@
                           #:choose 
                           (path? path? path? . -> . (or/c (symbols 'src 'zo 'so) false/c))
                           #:notify  (any/c . -> . any)
-                          #:source-reader (any/c input-port? . -> . syntax?)
+                          #:source-reader (any/c input-port? . -> . (or/c syntax? eof-object?))
                           #:rkt-try-ss? boolean?)
                          any)])
 
@@ -180,4 +180,5 @@
           [else (raise (make-exn:get-module-code
                         (format "get-module-code: no such file: ~e" orig-path)
                         (current-continuation-marks)
-                        #f))])))))
+                        #f))]))))
+  
\ No newline at end of file
diff --git a/collects/syntax/scribblings/modcode.scrbl b/collects/syntax/scribblings/modcode.scrbl
index f9d8d69e89..7d5cc93b0d 100644
--- a/collects/syntax/scribblings/modcode.scrbl
+++ b/collects/syntax/scribblings/modcode.scrbl
@@ -20,7 +20,7 @@
                            (lambda (src zo so) #f)]
                           [#:notify notify-proc (any/c . -> . any) void]
                           [#:source-reader read-syntax-proc 
-                                        (any/c input-port? . -> . syntax?) 
+                                        (any/c input-port? . -> . (or/c syntax? eof-object?)) 
                                         read-syntax])
          any]{