diff --git a/source/modules.tex b/source/modules.tex
index aeeb757edf..42f7162c90 100644
--- a/source/modules.tex
+++ b/source/modules.tex
@@ -626,7 +626,8 @@
 the lookup for \tcode{\keyword{operator}<=>}
 performed when considering rewriting a relational comparison, and
 the lookup for \tcode{\keyword{operator}!=}
-when considering whether an \tcode{\keyword{operator}==} is a rewrite target.
+when considering whether an \tcode{\keyword{operator}==} is a
+rewrite target\iref{over.match.oper}.
 \end{note}
 
 \item
diff --git a/source/overloading.tex b/source/overloading.tex
index fe6c4d0852..cf2939e117 100644
--- a/source/overloading.tex
+++ b/source/overloading.tex
@@ -837,7 +837,7 @@
 
 \pnum
 A non-template function or function template \tcode{F} named \tcode{\keyword{operator}==}
-is a rewrite target with first operand \tcode{o}
+is a \defn{rewrite target} with first operand \tcode{o}
 unless a search for the name \tcode{\keyword{operator}!=} in the scope $S$
 from the instantiation context of the operator expression
 finds a function or function template