diff --git a/tests/lean/rwEqThms.lean.expected.out b/tests/lean/rwEqThms.lean.expected.out
index 4acc39cb37..f4978927ff 100644
--- a/tests/lean/rwEqThms.lean.expected.out
+++ b/tests/lean/rwEqThms.lean.expected.out
@@ -2,9 +2,9 @@
 a : α
 as bs : List α
 h : bs = a :: as
-⊢ List.length (?a :: as) = List.length bs
+⊢ List.length (?head :: as) = List.length bs
 
-case a
+case head
 α : Type ?u
 a : α
 as bs : List α