diff --git a/specification/dartLangSpec.tex b/specification/dartLangSpec.tex
index 4ed56e6a2..0943484ff 100644
--- a/specification/dartLangSpec.tex
+++ b/specification/dartLangSpec.tex
@@ -7614,9 +7614,10 @@ \subsection{Super-Bounded Types}
 \begin{dartCode}
 \CLASS{} A<X \EXTENDS{} num> \{
   X x;
+  A(this.x);
 \}
 \\
-A<Object> a;
+A<Object?> a;
 \end{dartCode}
 
 \commentary{%