diff --git a/source/exec.tex b/source/exec.tex
index 2fd6f4f240..b4cc56b236 100644
--- a/source/exec.tex
+++ b/source/exec.tex
@@ -562,16 +562,16 @@
   template<class Sndr, class Env = env<>,
            template<class...> class Tuple = @\exposid{decayed-tuple}@,
            template<class...> class Variant = @\exposid{variant-or-empty}@>
-      requires @\libconcept{sender_in}@<Sndr, Env>
+    requires @\libconcept{sender_in}@<Sndr, Env>
     using value_types_of_t = @\seebelow@;
 
   template<class Sndr, class Env = env<>,
            template<class...> class Variant = @\exposid{variant-or-empty}@>
-      requires @\libconcept{sender_in}@<Sndr, Env>
+    requires @\libconcept{sender_in}@<Sndr, Env>
     using error_types_of_t = @\seebelow@;
 
   template<class Sndr, class Env = env<>>
-      requires @\libconcept{sender_in}@<Sndr, Env>
+    requires @\libconcept{sender_in}@<Sndr, Env>
     constexpr bool sends_stopped = @\seebelow@;
 
   template<class Sndr, class... Env>
@@ -598,7 +598,7 @@
     consteval auto get_completion_signatures() -> @\exposconcept{valid-completion-signatures}@ auto;
 
   template<class Sndr, class... Env>
-      requires @\libconcept{sender_in}@<Sndr, Env...>
+    requires @\libconcept{sender_in}@<Sndr, Env...>
     using completion_signatures_of_t = decltype(get_completion_signatures<Sndr, Env...>());
 
   // \ref{exec.connect}, the connect sender algorithm