diff --git a/collects/typed-scheme/typecheck/provide-handling.rkt b/collects/typed-scheme/typecheck/provide-handling.rkt
index 48734be0..970dc0f8 100644
--- a/collects/typed-scheme/typecheck/provide-handling.rkt
+++ b/collects/typed-scheme/typecheck/provide-handling.rkt
@@ -90,7 +90,7 @@
                    (make-provide/contract-transformer
                     (quote-syntax the-contract)
                     (quote-syntax id)
-                    (quote-syntax out-id)
+                    (quote-syntax export-id)
                     (quote-syntax module-source)))
                  (def-export export-id id cnt-id)))
            new-id)]