diff --git a/collects/scribblings/style/constructs.scrbl b/collects/scribblings/style/constructs.scrbl
index 8db2848eff..323078e75b 100644
--- a/collects/scribblings/style/constructs.scrbl
+++ b/collects/scribblings/style/constructs.scrbl
@@ -72,30 +72,6 @@ racket
 ]
 ]
 
-@compare[
-@racketmod[#:file
-@tt{good}
-racket
-
-(define-syntax (bump stx)
-  (syntax-case stx ()
-    [(_ s sn fn i)
-     (define g (ff #'sn))
-     #'( ....)]))
-]
-@; -----------------------------------------------------------------------------
-@racketmod[#:file
-@tt{bad}
-racket
-
-(define-syntax (bump stx)
-  (syntax-case stx ()
-    [(_ s sn fn i)
-     (let ([g (ff #'sn)])
-        #'( ....))]))
-]
-]
-
 @; -----------------------------------------------------------------------------
 @section{Conditionals}