diff --git a/spec/06-expressions.md b/spec/06-expressions.md
index f574d7ad2469..5677aa48c87b 100644
--- a/spec/06-expressions.md
+++ b/spec/06-expressions.md
@@ -1526,7 +1526,9 @@ question: given
 
 - A parameterized method ´m´ of type `(´p_1:T_1, \ldots , p_n:T_n´)´U´` is
   _as specific as_ some other member ´m'´ of type ´S´ if ´m'´ is [applicable](#function-applications)
-  to arguments `(´p_1 , \ldots , p_n´)` of types ´T_1 , \ldots , T_n´.
+  to arguments `(´p_1 , \ldots , p_n´)` of types ´T_1 , \ldots , T_last´;
+  if ´T_n´ denotes a repeated parameter (it has shape ´T*´), and so does ´m'´'s last parameter,
+  ´Tlast´ is taken as ´T´, otherwise ´T_n´ is used directly.
 - A polymorphic method of type `[´a_1´ >: ´L_1´ <: ´U_1 , \ldots , a_n´ >: ´L_n´ <: ´U_n´]´T´` is
   as specific as some other member of type ´S´ if ´T´ is as specific as ´S´
   under the assumption that for ´i = 1 , \ldots , n´ each ´a_i´ is an abstract type name