diff --git a/tests/lean/run/constructor_as_variable.lean b/tests/lean/run/constructor_as_variable.lean
index eaf73cf961..78d964b44c 100644
--- a/tests/lean/run/constructor_as_variable.lean
+++ b/tests/lean/run/constructor_as_variable.lean
@@ -97,7 +97,7 @@ Suggestions:
   'Array.Mem.mk',
   'Array.mk',
   'BEq.mk',
-   (or 199 others)
+   (or 200 others)
 -/
 #guard_msgs in
 def ctorSuggestion1 (pair : α × β) : β :=