diff --git a/collects/typed-scheme/typecheck/provide-handling.ss b/collects/typed-scheme/typecheck/provide-handling.ss
index 74b65801..f6d75334 100644
--- a/collects/typed-scheme/typecheck/provide-handling.ss
+++ b/collects/typed-scheme/typecheck/provide-handling.ss
@@ -68,6 +68,7 @@
                               (make-provide/contract-transformer
                                (quote-syntax the-contract)
                                (quote-syntax id)
+                               (quote-syntax out-id)
                                (quote-syntax module-source)))
                             (define-syntax export-id
                               (if (unbox typed-context?)