diff --git a/source/exec.tex b/source/exec.tex
index 42c1a57a0d..0de5d219b8 100644
--- a/source/exec.tex
+++ b/source/exec.tex
@@ -4252,7 +4252,7 @@
 \begin{codeblock}
 template<class Cpo, class Sndr, class Fn, class Rcvr, class ArgsVariant, class OpsVariant>
 struct @\exposid{let-state}@ {
-  using @\exposidnc{env_t}@ = decltype(@\exposidnc{let-env}@(declval<Sndr>()), get_env(declval<Rcvr&>()));  // \expos
+  using @\exposidnc{env_t}@ = decltype(@\exposidnc{let-env}@(declval<Sndr>(), get_env(declval<Rcvr&>())));  // \expos
   Fn @\exposidnc{fn}@;                                                                        // \expos
   env_t @\exposidnc{env}@;                                                                    // \expos
   ArgsVariant @\exposidnc{args}@;                                                             // \expos
@@ -4316,7 +4316,7 @@
   using @\exposidnc{op_t}@ = connect_result_t<Sndr, @\exposidnc{receiver}@>;                                // \expos
 
   constexpr @\exposidnc{let-state}@(Sndr&& sndr, Fn fn, Rcvr& rcvr)                           // \expos
-    : @\exposid{fn}@(std::move(fn)), @\exposid{env}@(@\exposid{let-env}@(sndr), get_env(rcvr)),
+    : @\exposid{fn}@(std::move(fn)), @\exposid{env}@(@\exposid{let-env}@(sndr, get_env(rcvr))),
       @\exposid{ops}@(in_place_type<@\exposid{op_t}@>, std::forward<Sndr>(sndr), @\exposid{receiver}@{*this, rcvr}) {}
 };
 \end{codeblock}