diff --git a/macrotypes/typecheck.rkt b/macrotypes/typecheck.rkt
index bd55475..0cd698d 100644
--- a/macrotypes/typecheck.rkt
+++ b/macrotypes/typecheck.rkt
@@ -948,7 +948,8 @@
                 (let*-syntax ([X (make-variable-like-transformer
                                  (mk-tyvar (attach #'X ':: (#,kev #'#%type))))] ...
                               [x (make-variable-like-transformer
-                                  (attachs #'x '(sep ...) #'(τ ...)
+                                  (attachs (attach #'x 'orig-binding #'x)
+                                           '(sep ...) #'(τ ...)
                                            #:ev #,tev))] ...)
                   (#%expression e) ... void)))))
        (list #'tvs+ #'xs+