diff --git a/tests/Tests/Typechecker.idr b/tests/Tests/Typechecker.idr
index d895de8..d139170 100644
--- a/tests/Tests/Typechecker.idr
+++ b/tests/Tests/Typechecker.idr
@@ -343,13 +343,13 @@ tests = "typechecker" :- [
   ],
 
   "enums" :- [
-    testTC "1 · `a ⇐ {a}" $
+    testTC "1 · 'a ⇐ {a}" $
       check_ (ctx [<]) sone (Tag "a") (enum ["a"]),
-    testTC "1 · `a ⇐ {a, b, c}" $
+    testTC "1 · 'a ⇐ {a, b, c}" $
       check_ (ctx [<]) sone (Tag "a") (enum ["a", "b", "c"]),
-    testTCFail "1 · `a ⇍ {b, c}" $
+    testTCFail "1 · 'a ⇍ {b, c}" $
       check_ (ctx [<]) sone (Tag "a") (enum ["b", "c"]),
-    testTC "0=1 ⊢ 1 · `a ⇐ {b, c}" $
+    testTC "0=1 ⊢ 1 · 'a ⇐ {b, c}" $
       check_ (ctx01 [<]) sone (Tag "a") (enum ["b", "c"])
   ],