diff --git a/specification/dartLangSpec.tex b/specification/dartLangSpec.tex
index 59d666ef31..1098a38e4d 100644
--- a/specification/dartLangSpec.tex
+++ b/specification/dartLangSpec.tex
@@ -7634,7 +7634,9 @@ \subsection{Super-Bounded Types}
   \commentary{%
   This includes the case where the actual type arguments have been provided
   by type inference, which is assumed to have taken place already
-  (\ref{typeInference}).%
+  (\ref{typeInference}).
+  It also includes the case where \NEW{} or \CONST{} is added implicitly
+  (\ref{unqualifiedInvocation}, \ref{functionExpressionInvocation}).%
   }
 \item $T$ occurs in the \synt{constructorDesignation} of
   a redirecting factory constructor header