diff --git a/source/expressions.tex b/source/expressions.tex
index 381250b8f8..0215e8821e 100644
--- a/source/expressions.tex
+++ b/source/expressions.tex
@@ -1488,8 +1488,8 @@
 to select a unique function\iref{over.match,over.over}.
 \begin{note}
 A program cannot refer to a function
-with a trailing \grammarterm{requires-clause}
-whose \grammarterm{constraint-expression} is not satisfied,
+with a trailing \grammarterm{requires-clause} if the normal form of
+its \grammarterm{constraint-expression} is not satisfied,
 because such functions are never selected by overload resolution.
 \begin{example}
 \begin{codeblock}
@@ -3494,7 +3494,7 @@
 \pnum
 A \grammarterm{nested-requirement} can be used
 to specify additional constraints in terms of local parameters.
-The \grammarterm{constraint-expression}
+The normal form\iref{temp.constr.normal} of the \grammarterm{constraint-expression}
 shall be satisfied\iref{temp.constr.decl}
 by the substituted template arguments, if any.
 Substitution of template arguments into a \grammarterm{nested-requirement}