diff --git a/collects/redex/tests/tl-test.rkt b/collects/redex/tests/tl-test.rkt
index 66736c48f5..3fd76c4b75 100644
--- a/collects/redex/tests/tl-test.rkt
+++ b/collects/redex/tests/tl-test.rkt
@@ -136,8 +136,8 @@
   (let ()
     (define-language L
       [Cv (name n variable-not-otherwise-mentioned)])
-    (test (redex-match L Cv ()) #f)
-    (test (pair? (redex-match L Cv x)) #f))
+    (test (redex-match L Cv (term ())) #f)
+    (test (pair? (redex-match L Cv (term x))) #f))
   
   (let ()
     (define-language lang