diff --git a/doc/lispref/macros.texi b/doc/lispref/macros.texi
index b8df363614..cf23ecb9d4 100644
--- a/doc/lispref/macros.texi
+++ b/doc/lispref/macros.texi
@@ -240,7 +240,6 @@ they cannot be called interactively.
 of constants and nonconstant parts.  To make this easier, use the
 @samp{`} syntax (@pxref{Backquote}).  For example:
 
-@example
 @example
 @group
 (defmacro t-becomes-nil (variable)
@@ -253,7 +252,6 @@ of constants and nonconstant parts.  To make this easier, use the
      @equiv{} (if (eq foo t) (setq foo nil))
 @end group
 @end example
-@end example
 
 @node Problems with Macros
 @section Common Problems Using Macros