diff --git a/collects/scribblings/reference/syntax-model.scrbl b/collects/scribblings/reference/syntax-model.scrbl
index 8e5d9eaa0d..40942afa6c 100644
--- a/collects/scribblings/reference/syntax-model.scrbl
+++ b/collects/scribblings/reference/syntax-model.scrbl
@@ -959,6 +959,9 @@ the name of the procedure. In this case, Racket decides, at
 compile-time, to name as @racket['f] all procedures created by the
 @racket[let]-bound @racket[lambda].
 
+
+@margin-note/ref{See @racket[procedure-rename] to override a procedure's
+inferred name at runtime.}
 Names are inferred whenever possible for procedures. Names closer to
 an expression take precedence. For example, in