diff --git a/collects/drscheme/private/auto-language.ss b/collects/drscheme/private/auto-language.ss
index f0bf4a4f4a..3417770099 100644
--- a/collects/drscheme/private/auto-language.ss
+++ b/collects/drscheme/private/auto-language.ss
@@ -1,7 +1,7 @@
-#lang typed-scheme
+#lang typed-scheme/no-check
 
-(require typed/framework/framework 
-	 typed/mred/mred
+(require framework/framework ;typed/framework/framework 
+	 mred ;typed/mred/mred
          scheme/class)
 
 (provide pick-new-language looks-like-module?)
diff --git a/collects/drscheme/private/insert-large-letters.ss b/collects/drscheme/private/insert-large-letters.ss
index ea55ecfbfb..37493b4973 100644
--- a/collects/drscheme/private/insert-large-letters.ss
+++ b/collects/drscheme/private/insert-large-letters.ss
@@ -1,7 +1,7 @@
-#lang typed-scheme
+#lang typed-scheme/no-check
 
-(require typed/mred/mred
-         typed/framework/framework
+(require #;typed/ mred/mred
+         #;typed/ framework/framework
          scheme/class
          string-constants/string-constant)