diff --git a/tapl/tests/rackunit-typechecking.rkt b/tapl/tests/rackunit-typechecking.rkt
index e2b8837..a0b1261 100644
--- a/tapl/tests/rackunit-typechecking.rkt
+++ b/tapl/tests/rackunit-typechecking.rkt
@@ -18,7 +18,9 @@
 
 (define-syntax (check-type stx)
   (syntax-parse stx #:datum-literals (: ⇒ ->)
-    [(_ e : τ (~or ⇒ ->) v) #'(check-type-and-result e : τ ⇒ v)]
+    [(_ e : τ (~or ⇒ ->) v)
+     (syntax/loc stx
+       (check-type-and-result e : τ ⇒ v))]
     [(_ e : τ-expected)
      #:with τ (typeof (expand/df #'e))
      #:fail-unless