diff --git a/source/algorithms.tex b/source/algorithms.tex
index 5fe7ecfb5e..c2216f718d 100644
--- a/source/algorithms.tex
+++ b/source/algorithms.tex
@@ -5943,7 +5943,7 @@
 
 \pnum
 \effects
-For a nonempty range, eliminates all but the first element
+For a non-empty range, eliminates all but the first element
 from every consecutive group of equivalent elements referred to
 by the iterator \tcode{i} in the range \range{first + 1}{last}
 for which $E$ is \tcode{true}.
@@ -5958,7 +5958,7 @@
 
 \pnum
 \complexity
-For nonempty ranges, exactly \tcode{(last - first) - 1} applications
+For non-empty ranges, exactly \tcode{(last - first) - 1} applications
 of the corresponding predicate and
 no more than twice as many applications of any projection.
 \end{itemdescr}
diff --git a/source/containers.tex b/source/containers.tex
index d2e7f4754c..648dff0cf9 100644
--- a/source/containers.tex
+++ b/source/containers.tex
@@ -7719,7 +7719,7 @@
 \effects
 Erases all but the first element from every consecutive
 group of equivalent elements.
-That is, for a nonempty list, erases all elements referred to
+That is, for a non-empty list, erases all elements referred to
 by the iterator \tcode{i} in the range \range{begin() + 1}{end()}
 for which \tcode{binary_pred(*i, *(i - 1))} is \tcode{true}.
 Invalidates only the iterators and references to the erased elements.
@@ -8465,7 +8465,7 @@
 \effects
 Erases all but the first element from every
 consecutive group of equivalent elements.
-That is, for a nonempty list, erases all elements referred to
+That is, for a non-empty list, erases all elements referred to
 by the iterator \tcode{i} in the range \range{begin() + 1}{end()}
 for which \tcode{binary_pred(*i, *(i - 1))} is \tcode{true}.
 Invalidates only the iterators and references to the erased elements.
diff --git a/source/lex.tex b/source/lex.tex
index c2b3db8c33..c30ae45406 100644
--- a/source/lex.tex
+++ b/source/lex.tex
@@ -132,7 +132,7 @@
 comment.
 \end{footnote}
 Each comment is replaced by one space character. New-line characters are
-retained. Whether each nonempty sequence of whitespace characters other
+retained. Whether each non-empty sequence of whitespace characters other
 than new-line is retained or replaced by one space character is
 unspecified.
 As characters from the source file are consumed