diff --git a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/utils/arm.rkt b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/utils/arm.rkt
index 0aede1d6..5ef8bb16 100644
--- a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/utils/arm.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/utils/arm.rkt
@@ -5,14 +5,10 @@
 
 ;; For simplicity, protect everything produced by Typed Racket.
 (define (arm stx)
-  (syntax-case stx (module module* #%plain-module-begin
-                       #%require #%provide #%declare begin
-                       define-values define-syntaxes
-                       begin-for-syntax)
-    [(module name initial-import mb)
-     (quasisyntax/loc stx (module name initial-import #,(arm #'mb)))]
-    [(module* name initial-import mb)
-     (quasisyntax/loc stx (module* name initial-import #,(arm #'mb)))]
+  (syntax-case stx (#%plain-module-begin
+                    #%require #%provide #%declare begin
+                    define-values define-syntaxes
+                    begin-for-syntax)
     [(#%plain-module-begin . _) (syntax-property (syntax-arm stx)
                                                  'taint-mode
                                                  'opaque)]