diff --git a/pkgs/drracket-pkgs/drracket/drracket/private/auto-language.rkt b/pkgs/drracket-pkgs/drracket/drracket/private/auto-language.rkt
index 353e1f637e..86d69776a6 100644
--- a/pkgs/drracket-pkgs/drracket/drracket/private/auto-language.rkt
+++ b/pkgs/drracket-pkgs/drracket/drracket/private/auto-language.rkt
@@ -1,4 +1,4 @@
-#lang typed/racket/base #:no-optimize
+#lang typed/racket/base
 
 (require typed/framework/framework 
 	 typed/mred/mred
diff --git a/pkgs/drracket-pkgs/drracket/drracket/private/insert-large-letters.rkt b/pkgs/drracket-pkgs/drracket/drracket/private/insert-large-letters.rkt
index 2a4245c2a8..6391efac22 100644
--- a/pkgs/drracket-pkgs/drracket/drracket/private/insert-large-letters.rkt
+++ b/pkgs/drracket-pkgs/drracket/drracket/private/insert-large-letters.rkt
@@ -1,4 +1,4 @@
-#lang typed/racket/base #:no-optimize
+#lang typed/racket/base
 
 (require typed/mred/mred
          typed/framework/framework