diff --git a/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/infer-tests.rkt b/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/infer-tests.rkt
index ad47e4c9..83c04df7 100644
--- a/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/infer-tests.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/infer-tests.rkt
@@ -8,7 +8,7 @@
 
 (define-syntax-rule (fv-t ty elems ...)
   (let ([ty* ty])
-    (test-check (format "~a" ty*)
+    (test-check (format "~a" 'ty)
                 equal?
                 (fv ty*)
                 (list (quote elems) ...))))
diff --git a/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/remove-intersect-tests.rkt b/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/remove-intersect-tests.rkt
index 3dc44afe..13659ebd 100644
--- a/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/remove-intersect-tests.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/remove-intersect-tests.rkt
@@ -11,7 +11,7 @@
   (syntax-case stx ()
     [(_ [t1 t2 res] ...)
      #'(test-suite "Tests for intersect"
-                   (test-check (format "Overlap test: ~a ~a" t1 t2) (lambda (a b) (eq? (not (not a)) b)) (overlap t1 t2) res) ...)]))
+                   (test-check (format "Overlap test: ~a ~a" 't1 't2) (lambda (a b) (eq? (not (not a)) b)) (overlap t1 t2) res) ...)]))
 
 (define overlap-tests
   (over-tests
@@ -21,7 +21,7 @@
   (syntax-case stx ()
     [(_ [t1 t2 res] ...)
      #'(test-suite "Tests for intersect"
-                   (test-check (format "Restrict test: ~a ~a" t1 t2) type-compare? (restrict t1 t2) res) ...)]))
+                   (test-check (format "Restrict test: ~a ~a" 't1 't2) type-compare? (restrict t1 t2) res) ...)]))
 
 
 (define restrict-tests
@@ -50,7 +50,7 @@
     [(_ [t1 t2 res] ...)
      (syntax/loc stx
        (test-suite "Tests for remove"
-                   (test-check (format "Remove test: ~a ~a" t1 t2) type-compare? (remove t1 t2) res) ...))]))
+                   (test-check (format "Remove test: ~a ~a" 't1 't2) type-compare? (remove t1 t2) res) ...))]))
 
 (define remove-tests
   (remo-tests