Typos

Author: eernstg

specification/dartLangSpec.tex

@@ -15134,7 +15134,8 @@ \subsubsection{Cascades}
 Consider an expression of the form \code{$e$?..$s$} where
 $e$ is a \synt{conditionalExpression} and
 $s$ is a \synt{cascadeSection}.
-A warning occurs unless the static type of $e$ is potentially nullable.
+A warning occurs if the static type of $e$ is non-nullable
+(\ref{typeNullability}).
 
 \LMHash{}%
 Otherwise, the static analysis and dynamic semantics of
@@ -20940,7 +20941,7 @@ \subsection{Assert}
 \begin{grammar}
 <assertStatement> ::= <assertion> `;'
 
-<assertion> ::= \ASSERT{} `(' <expression> (`,' <expression> )? `,'? `)'
+<assertion> ::= \ASSERT{} `(' <expression> (`,' <expression>)? `,'? `)'
 \end{grammar}
 
 \LMHash{}%
@@ -21046,6 +21047,9 @@ \section{Libraries and Scripts}
 
 \LMHash{}%
 A library contains a string which is derived from \synt{libraryDeclaration}.
+It ends in the pseudo-token
+\IndexCustom{\synt{EOF}}{<EOF>@\synt{EOF}},
+which denotes the end of the input.
 
 \commentary{%
   We could say that \synt{libraryDeclaration} is a