diff --git a/specification/dartLangSpec.tex b/specification/dartLangSpec.tex
index 15a9da304..8615bc9f7 100644
--- a/specification/dartLangSpec.tex
+++ b/specification/dartLangSpec.tex
@@ -41,6 +41,11 @@
 % version of the language which will actually be specified by the next stable
 % release of this document.
 %
+% Sep 2024
+% - Clarify the extension applicability rule to explicitly state that it
+%   is concerned with an instance member with the same basename, not a
+%   static member.
+%
 % Jun 2024
 % - Add missing references to section 'Type dynamic' at the points where the
 %   static analysis of Object member invocations is specified.
@@ -6661,7 +6666,7 @@ \subsubsection{Applicability of an Extension}
     because they do not have a type.%
   }
 \item
-  The type $S$ does not have a member with the basename $m$,
+  The type $S$ does not have an instance member with the basename $m$,
   and $S$ is neither \DYNAMIC{} nor \code{Never}.
 
   \commentary{%