diff --git a/Manual/NotationsMacros/Elab.lean b/Manual/NotationsMacros/Elab.lean
index e345cfb4e..4f9566cdf 100644
--- a/Manual/NotationsMacros/Elab.lean
+++ b/Manual/NotationsMacros/Elab.lean
@@ -252,7 +252,7 @@ It chooses the most recent suitable variable, as desired:
 #eval
   let x := "x"
   let y := "y"
-  "It was " ++ y
+  "It was " ++ anything!
 ```
 ```leanOutput lets
 "It was y"