Oops, missed this guy.

blog/2024-06-17-automap.md

@@ -264,7 +264,7 @@ and `rep`s to make the program rank-correct. We found that this generally aligns
 with the programmer's intent and that it also provides for a simple mental model
 for the programmer. For example, if `ysss : [][][]int` is a three-dimensional array,
 no `map`s or `rep`s will be inserted at all for the program `length ysss` even
-though `map length ysss` and `map (map length) yss` are both legal elaborations.
+though `map length ysss` and `map (map length) ysss` are both legal elaborations.
 
 This also helps us address ambiguity: the compiler no longer has to choose from
 an infinite number of solutions and instead only the minimal