diff --git a/pkgs/redex-pkgs/redex-doc/info.rkt b/pkgs/redex-pkgs/redex-doc/info.rkt
index dc92c2750d..5f57d5b213 100644
--- a/pkgs/redex-pkgs/redex-doc/info.rkt
+++ b/pkgs/redex-pkgs/redex-doc/info.rkt
@@ -15,7 +15,6 @@
                      "pict-lib"
                      "redex-gui-lib"
                      "redex-benchmark"
-                     "math-lib"
                      "rackunit-lib"))
 
 (define pkg-desc "documentation part of \"redex\"")
diff --git a/pkgs/redex-pkgs/redex-doc/redex/scribblings/bug-info.rkt b/pkgs/redex-pkgs/redex-doc/redex/scribblings/bug-info.rkt
index f0355af946..100ad45f9a 100644
--- a/pkgs/redex-pkgs/redex-doc/redex/scribblings/bug-info.rkt
+++ b/pkgs/redex-pkgs/redex-doc/redex/scribblings/bug-info.rkt
@@ -1,5 +1,4 @@
-#lang racket
-(require math/statistics)
+#lang racket/base
 
 (provide get-line-count
          get-counterexample
@@ -188,4 +187,3 @@
   (check-equal? (count-size '((1))) 3)
   (check-equal? (count-size '((1) (1))) 5)
   (check-equal? (count-size '((1) (1) (1) (1 1 1 1 1 1))) 14))
-