diff --git a/tapl/tests/rackunit-typechecking.rkt b/tapl/tests/rackunit-typechecking.rkt
index 2594882..e2b8837 100644
--- a/tapl/tests/rackunit-typechecking.rkt
+++ b/tapl/tests/rackunit-typechecking.rkt
@@ -69,6 +69,7 @@
 (define-syntax (check-type-and-result stx)
   (syntax-parse stx #:datum-literals (: ⇒)
     [(_ e : τ ⇒ v)
-     #'(begin
+     #`(begin
          (check-type e : τ)
-         (check-equal? e v))]))
+         #,(syntax/loc stx
+             (check-equal? e v)))]))