diff --git a/source/numerics.tex b/source/numerics.tex
index 7b1f65deae..eb5aebba1e 100644
--- a/source/numerics.tex
+++ b/source/numerics.tex
@@ -18796,6 +18796,8 @@
 Let:
 \begin{itemize}
 \item
+\tcode{V} be \tcode{M} for the overload without template parameter \tcode{V}.
+\item
 \tcode{\exposid{gen-fn}(i)} be \tcode{idxmap(i, V::size())}
 if that expression is well-formed, and \tcode{idxmap(i)} otherwise.
 \item
@@ -18851,7 +18853,7 @@
 \begin{itemdescr}
 \pnum
 \expects
-All values in \tcode{indices} are in the range \range{0}{V::size()}.
+All values in \tcode{indices} are in the range \range{0}{v.size()}.
 
 \pnum
 \returns
@@ -18891,7 +18893,7 @@
 \returns
 A data-parallel object where the $i^\text{th}$
 element is initialized to the result of \tcode{\exposidnc{select-value}($i$)}
-for all $i$ in the range \range{0}{V::size()}.
+for all $i$ in the range \range{0}{v.size()}.
 \end{itemdescr}
 
 \indexlibrarymember{compress}{simd}
@@ -18901,7 +18903,7 @@
                        const typename V::value_type& fill_value);
 template<@\exposconcept{simd-mask-type}@ M>
   constexpr M compress(const M& v, const type_identity_t<M>& selector,
-                       const typename V::value_type& fill_value);
+                       const typename M::value_type& fill_value);
 \end{itemdecl}
 
 \begin{itemdescr}
@@ -18921,7 +18923,7 @@
 \returns
 A data-parallel object where the $i^\text{th}$
 element is initialized to the result of \tcode{\exposidnc{select-value}($i$)}
-for all $i$ in the range \range{0}{V::size()}.
+for all $i$ in the range \range{0}{v.size()}.
 \end{itemdescr}
 
 \indexlibrarymember{expand}{simd}
@@ -18952,7 +18954,7 @@
 \returns
 A data-parallel object where the $i^\text{th}$
 element is initialized to the result of \tcode{\exposidnc{select-value}($i$)}
-for all $i$ in the range \range{0}{V::size()}.
+for all $i$ in the range \range{0}{v.size()}.
 \end{itemdescr}
 
 \rSec3[simd.permute.memory]{\tcode{simd} memory permute}