diff --git a/pkgs/redex-pkgs/redex-doc/redex/scribblings/benchmark-models.scrbl b/pkgs/redex-pkgs/redex-doc/redex/scribblings/benchmark-models.scrbl
index 9a553e605b..745cb929e6 100644
--- a/pkgs/redex-pkgs/redex-doc/redex/scribblings/benchmark-models.scrbl
+++ b/pkgs/redex-pkgs/redex-doc/redex/scribblings/benchmark-models.scrbl
@@ -99,8 +99,7 @@ into each model.
                         (number->string num)
                         (symbol->string (get-category type num))
                         (number->string (get-counterexample-size type num))
-                        (element (style "ErrorDescriptionBox" '())
-                                 (list (get-error type num))))
+                        (list (get-error type num)))
                   (set! last-type type)))))]
   }
 }