diff --git a/source/basic.tex b/source/basic.tex
index a78628ca87..447d5deb72 100644
--- a/source/basic.tex
+++ b/source/basic.tex
@@ -177,7 +177,7 @@
 If so, the
 declaration specifies the interpretation and semantic properties of these names.
 A declaration of an entity $X$ is
-a redeclaration of $X$
+a \defn{redeclaration} of $X$
 if another declaration of $X$ is reachable from it\iref{module.reach};
 otherwise, it is a \defnadj{first}{declaration}.