diff --git a/pkgs/racket-doc/scribblings/guide/proc-macros.scrbl b/pkgs/racket-doc/scribblings/guide/proc-macros.scrbl
index 8a4531c58c..c902c8de8a 100644
--- a/pkgs/racket-doc/scribblings/guide/proc-macros.scrbl
+++ b/pkgs/racket-doc/scribblings/guide/proc-macros.scrbl
@@ -67,13 +67,8 @@ to the same binding:
 (free-identifier=? #'car #'car)
 (require (only-in racket/base [car also-car]))
 (free-identifier=? #'car #'also-car)
-(free-identifier=? #'car (let ([car 8])
-                           #'car))
 ]
 
-The last example above, in particular, illustrates how syntax objects
-preserve lexical-context information.
-
 To see the lists, symbols, numbers, @|etc| within a syntax object, use
 @racket[syntax->datum]: