diff --git a/source/templates.tex b/source/templates.tex
index 8db57d6312..6354545b57 100644
--- a/source/templates.tex
+++ b/source/templates.tex
@@ -8049,11 +8049,13 @@
 template <typename T, typename... Ts>
   struct X<T, Ts...> : X<Ts...> {};
 struct D : X<int> {};
+struct E : X<>, X<int> {};
 
 template <typename... T>
 int f(const X<T...>&);
 int x = f(D());     // calls \tcode{f<int>}, not \tcode{f<>}
                     // \tcode{B} is \tcode{X<>}, \tcode{C} is \tcode{X<int>}
+int z = f(E());     // calls \tcode{f<int>}, not \tcode{f<>}
 \end{codeblock}
 \end{example}
 \end{itemize}