Correct rule about the interface of T?

Author: eernstg

specification/dartLangSpec.tex

@@ -23704,10 +23704,10 @@ \subsection{Type Nullability}
 \end{itemize}
 
 \LMHash{}%
-Let $T$ be a potentially nullable type such that
-\NormalizedTypeOf{$T$} is neither \DYNAMIC{} nor \VOID.
-The \IndexCustom{interface}{interface!of potentially nullable type}
-of $T$ is the interface of \code{Object}.
+Let $T$ be a type such that \NormalizedTypeOf{$T$} is
+neither \DYNAMIC{} nor \VOID.
+The \IndexCustom{interface}{interface!of a nullable type}
+of \code{$T$?} is the interface of \code{Object}.
 
 \commentary{%
   For example, even though \code{$e_1$.isEven} is allowed