diff --git a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/internal-forms.rkt b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/internal-forms.rkt
index b97c3169..dee21614 100644
--- a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/internal-forms.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/internal-forms.rkt
@@ -17,7 +17,7 @@
   typed-require/struct
   predicate-assertion
   type-declaration
-  failed-typecheck
+  typecheck-failure
 
   type-alias?
   typed-struct?
@@ -113,7 +113,7 @@
     (assert-predicate-internal type predicate)]
   [type-declaration
     (:-internal id:identifier type)]
-  [failed-typecheck
+  [typecheck-failure
     (typecheck-fail-internal stx message:str var:id)])
 
 ;;; Internal form creation
diff --git a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/tc-expr-unit.rkt b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/tc-expr-unit.rkt
index f82b02c4..f7935176 100644
--- a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/tc-expr-unit.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/tc-expr-unit.rkt
@@ -189,7 +189,7 @@
        ;; We trust ignore to be only on syntax objects objects that are well typed
        expected]
       ;; explicit failure
-      [t:failed-typecheck
+      [t:typecheck-failure
        (explicit-fail #'t.stx #'t.message #'t.var)]
       ;; data
       [(quote #f) (ret (-val #f) -false-filter)]
@@ -329,7 +329,7 @@
        (check-subforms/ignore form)
        (ret Univ)]
       ;; explicit failure
-      [t:failed-typecheck
+      [t:typecheck-failure
        (explicit-fail #'t.stx #'t.message #'t.var)]
       ;; data
       [(quote #f) (ret (-val #f) -false-filter)]