diff --git a/collects/profj/to-scheme.ss b/collects/profj/to-scheme.ss
index 0db5a2d20f..499ff6cbfd 100644
--- a/collects/profj/to-scheme.ss
+++ b/collects/profj/to-scheme.ss
@@ -1203,7 +1203,7 @@
                                                    null)
                                 (generate-contract-defs (class-name)))
                       )
-              (make-syntax #f `(module ,name mzscheme (requires ,(module-name)) ,provides) #f)))))
+              (make-syntax #f `(module ,name mzscheme (require ,(module-name)) ,provides) #f)))))
 
   ;-----------------------------------------------------------------------------------------------------------------
   ;Member translation functions