diff --git a/source/utilities.tex b/source/utilities.tex
index a284b4f137..2f88afd8d2 100644
--- a/source/utilities.tex
+++ b/source/utilities.tex
@@ -15583,8 +15583,8 @@
   // \ref{func.wrap.ref.deduct}, deduction guides
   template<class F>
     function_ref(F*) -> function_ref<F>;
-  template<auto c, class F0>
-    function_ref(constant_wrapper<c, F0>) -> function_ref<@\seebelow@>;
+  template<auto c, class F>
+    function_ref(constant_wrapper<c, F*>) -> function_ref<F>;
   template<auto c, class F, class T>
     function_ref(constant_wrapper<c, F>, T&&) -> function_ref<@\seebelow@>;
 }
@@ -15879,23 +15879,15 @@
 \end{itemdescr}
 
 \begin{itemdecl}
-template<auto c, class F0>
-  function_ref(constant_wrapper<c, F0>) -> function_ref<@\seebelow@>;
+template<auto c, class F>
+  function_ref(constant_wrapper<c, F*>) -> function_ref<F>;
 \end{itemdecl}
 
 \begin{itemdescr}
-\pnum
-Let \tcode{F} be \tcode{remove_pointer_t<F0>}.
-
 \pnum
 \constraints
 \tcode{is_function_v<F>} is \tcode{true}.
 
-\pnum
-\remarks
-The deduced type is \tcode{function_ref<F>}.
-\end{itemdescr}
-
 \begin{itemdecl}
 template<auto c, class F, class T>
   function_ref(constant_wrapper<c, F>, T&&) -> function_ref<@\seebelow@>;