diff --git a/source/expressions.tex b/source/expressions.tex
index dd24afa83e..8c7f31b831 100644
--- a/source/expressions.tex
+++ b/source/expressions.tex
@@ -2957,8 +2957,8 @@
 \end{example}
 
 \pnum
-A local parameter shall only appear as an unevaluated operand\iref{term.unevaluated.operand}
-within the \grammarterm{constraint-expression}.
+An \grammarterm{id-expression} naming a local parameter
+shall not be potentially evaluated\iref{basic.def.odr}.
 \begin{example}
 \begin{codeblock}
 template<typename T> concept C = requires (T a) {