diff --git a/source/meta.tex b/source/meta.tex index 856cdf12bf..743d89ace5 100644 --- a/source/meta.tex +++ b/source/meta.tex @@ -3259,7 +3259,7 @@ \pnum \begin{note} -$P$ is a potentially non-unique object\iref{intro.object}. +When \tcode{r} is not empty, $P$ is a potentially non-unique object\iref{intro.object}. \end{note} \end{itemdescr}