diff --git a/source/exec.tex b/source/exec.tex
index 34d0a3ebd6..8d338f5e41 100644
--- a/source/exec.tex
+++ b/source/exec.tex
@@ -7085,8 +7085,8 @@
 \begin{itemdescr}
 \pnum
 \returns
-\tcode{false} if type of \tcode{\exposid{SCHED}(lhs)} is not \tcode{Sch},
-otherwise \tcode{\exposid{SCHED}(lhs) == rhs;}
+\tcode{false} if the type of \tcode{\exposid{SCHED}(lhs)} is not \tcode{Sch},
+otherwise \tcode{\exposid{SCHED}(lhs) == rhs}.
 \end{itemdescr}
 
 \pnum