Typo

specification/dartLangSpec.tex

@@ -11765,7 +11765,7 @@ \subsection{Function Expressions}
 where $G$ is \code{Future} or \code{FutureOr}.
 Also note that 'derives' in this context refers to the computation
 where a type $T$ is given, the supertypes of $T$ are searched,
-and a type of one of those forms is selected.
+and a type $F$ of one of those forms is selected.
 There is no connection to the notion of a 'derived class' meaning 'subclass'
 that some programming language communities use.%
 }