diff --git a/collects/tests/typed-racket/fail/pr13209.rkt b/collects/tests/typed-racket/fail/pr13209.rkt
index 9346a48e..78a9aee7 100644
--- a/collects/tests/typed-racket/fail/pr13209.rkt
+++ b/collects/tests/typed-racket/fail/pr13209.rkt
@@ -1,7 +1,12 @@
 #;
-(exn-pred exn:fail:syntax?)
+(exn-pred #rx"arguments for structure type constructor")
 #lang typed/racket
 
+;; Test for PR 13209
+;;
+;; The use of `node` at the end has the wrong number of
+;; type arguments. This should not raise an internal error.
+
 (struct: (α) leaf ({value : α}))
 (struct: (α) node ({left : [Tree α]} {right : [Tree α]}))