diff --git a/collects/typed/racket/base/no-check.rkt b/collects/typed/racket/base/no-check.rkt
index a5be88a158..4508a415b6 100644
--- a/collects/typed/racket/base/no-check.rkt
+++ b/collects/typed/racket/base/no-check.rkt
@@ -1,4 +1,4 @@
-#lang racket/base
+#lang typed-racket/minimal
 
 (require racket/require typed-scheme/no-check (subtract-in typed/racket/base typed-scheme/no-check))
 (provide (all-from-out typed/racket/base typed-scheme/no-check))
diff --git a/collects/typed/racket/no-check.rkt b/collects/typed/racket/no-check.rkt
index f4ee4b0923..5dec3f1a25 100644
--- a/collects/typed/racket/no-check.rkt
+++ b/collects/typed/racket/no-check.rkt
@@ -1,4 +1,4 @@
-#lang racket/base
+#lang typed-racket/minimal
 
 (require racket/require typed-scheme/no-check (subtract-in typed/racket typed-scheme/no-check))
 (provide (all-from-out typed/racket typed-scheme/no-check))