Fixed yet another pair of \ell -> \ell_1

specification/dartLangSpec.tex

@@ -10019,12 +10019,12 @@ \subsubsection{List Literal Inference}
 the errors that would occur with the corresponding \FOR{} statement
 \code{\AWAIT?\,\,\FOR\,\,($P$)\,\,\{\}},
 located in the same scope as $\ell$.
-Moreover, the errors and type analysis of $\ell$ is performed
+Moreover, the errors and type analysis of $\ell_1$ is performed
 as if it occurred in the body scope of said \FOR{} statement.
 \commentary{%
 For instance, if $P$ is of the form
 \code{\VAR\,\,v\,\,\IN\,\,$e_1$}
-then the variable \code{v} is in scope for $\ell$.%
+then the variable \code{v} is in scope for $\ell_1$.%
 }
 
 Inference for the parts