diff --git a/source/numerics.tex b/source/numerics.tex
index 7ec3aada0d..65f87d8e68 100644
--- a/source/numerics.tex
+++ b/source/numerics.tex
@@ -18926,7 +18926,7 @@
 \begin{itemdecl}
 template<class T, class Abi>
   constexpr T reduce_min(
-    const basic_vec<T, Abi>&, const typename basic_vec<T, Abi>::mask_type&) noexcept;
+    const basic_vec<T, Abi>& x, const typename basic_vec<T, Abi>::mask_type& mask) noexcept;
 \end{itemdecl}
 
 \begin{itemdescr}
@@ -18963,7 +18963,7 @@
 \begin{itemdecl}
 template<class T, class Abi>
   constexpr T reduce_max(
-    const basic_vec<T, Abi>&, const typename basic_vec<T, Abi>::mask_type&) noexcept;
+    const basic_vec<T, Abi>& x, const typename basic_vec<T, Abi>::mask_type& mask) noexcept;
 \end{itemdecl}
 
 \begin{itemdescr}
@@ -18974,7 +18974,7 @@
 \pnum
 \returns
 If \tcode{none_of(mask)} is \tcode{true}, returns
-\tcode{numeric_limits<V::value_type>::lowest()}.
+\tcode{numeric_limits<T>::lowest()}.
 Otherwise, returns the value of a selected element \tcode{x[$j$]} for which
 \tcode{x[$j$] < x[$i$]} is \tcode{false} for all selected indices $i$ of
 \tcode{mask}.
@@ -20537,7 +20537,7 @@
 Let \tcode{\placeholder{modf-vec}} denote:
 \begin{codeblock}
 pair<V, V> @\placeholder{modf-vec}@(const V& x) {
-  T r1[Ret::size()];
+  T r1[V::size()];
   V r0([&](@\exposid{simd-size-type}@ i) {
     return modf(V(x)[i], &r1[i]);
   });