diff --git a/source/lib-intro.tex b/source/lib-intro.tex
index 1368929680..201088d00c 100644
--- a/source/lib-intro.tex
+++ b/source/lib-intro.tex
@@ -3341,7 +3341,7 @@
 
 \pnum
 Calling the \tcode{set_*} and \tcode{get_*} functions shall not incur a data race\iref{intro.races}.
-A call to any of the \tcode{set_*} functions shall synchronize with subsequent calls to the same
+A call to any of the \tcode{set_*} functions synchronizes with subsequent calls to the same
 \tcode{set_*} function and to the corresponding \tcode{get_*} function.
 
 \rSec3[res.on.functions]{Other functions}
diff --git a/source/memory.tex b/source/memory.tex
index f65e2de029..8f34a2e3c5 100644
--- a/source/memory.tex
+++ b/source/memory.tex
@@ -6154,9 +6154,9 @@
 \pnum
 \remarks
 Calling the \tcode{set_default_resource} and
-\tcode{get_default_resource} functions shall not incur a data race.
+\tcode{get_default_resource} functions shall not incur a data race\iref{intro.races}.
 A call to the \tcode{set_default_resource} function
-shall synchronize with subsequent calls to
+synchronizes with subsequent calls to
 the \tcode{set_default_resource} and \tcode{get_default_resource} functions.
 \end{itemdescr}