diff --git a/accepted/2.7/static-extension-methods/feature-specification.md b/accepted/2.7/static-extension-methods/feature-specification.md
index ec570c660c..bd28fa722b 100644
--- a/accepted/2.7/static-extension-methods/feature-specification.md
+++ b/accepted/2.7/static-extension-methods/feature-specification.md
@@ -293,7 +293,7 @@ extension SmartList<T> on List<T> {
   x.doTheSmartThing(print);
 ```
 
-Here both the extensions apply, but the `SmartList` extension is more specific than the `SmartIterable` extension because `List<dynamic>` &lt;: `Iterable<dynamic>`.
+Here both the extensions apply, but the `SmartList` extension is more specific than the `SmartIterable` extension because `List<int>` &lt;: `Iterable<int>`.
 
 Example:
 
diff --git a/specification/dartLangSpec.tex b/specification/dartLangSpec.tex
index 2e037491ed..921ffdc3bc 100644
--- a/specification/dartLangSpec.tex
+++ b/specification/dartLangSpec.tex
@@ -6207,7 +6207,7 @@ \subsubsection{Specificity of an Extension}
 \commentary{%
 Here both of the extensions apply,
 but \code{ExtendList} is more specific than \code{ExtendIterable} because
-\SubtypeNE{\code{List<dynamic>}}{\code{Iterable<dynamic>}}.%
+\SubtypeNE{\code{List<int>}}{\code{Iterable<int>}}.%
 }
 
 \begin{dartCode}