diff --git a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/core.rkt b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/core.rkt
index b3d0d301..b56ee98d 100644
--- a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/core.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/core.rkt
@@ -49,7 +49,8 @@
 (define (ti-core stx init)
   (current-type-names (init-current-type-names))
   (syntax-parse stx
-    [(_ . ((~datum module) . rest))
+    #:literal-sets (kernel-literals)
+    [(_ . (module . rest))
      #'(module . rest)]
     [(_ . (~and form ((~var command (static interactive-command? #f)) . _)))
      ((interactive-command-procedure (attribute command.value)) #'form init)]
diff --git a/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/interactive-tests.rkt b/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/interactive-tests.rkt
index 4e572347..24805b60 100644
--- a/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/interactive-tests.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/interactive-tests.rkt
@@ -46,6 +46,14 @@
 ;; Add 'only at the toplevel tests'
 (define (interactive-tests)
   (test-suite "Interactive tests"
+
+    (test-form #rx""
+      (module test racket))
+    (test-form #rx""
+      (define module displayln))
+    (test-form #rx"racket"
+      (module 'racket))
+
     (test-form #rx"1"
       (:type 1))
     (test-form (regexp-quote "(U Positive-Byte Zero)")