diff --git a/pkgs/math-pkgs/math-doc/math/scribblings/rename-defines.rkt b/pkgs/math-pkgs/math-doc/math/scribblings/rename-defines.rkt
index b9e2f5e4e2..4e41035889 100644
--- a/pkgs/math-pkgs/math-doc/math/scribblings/rename-defines.rkt
+++ b/pkgs/math-pkgs/math-doc/math/scribblings/rename-defines.rkt
@@ -9,11 +9,13 @@
   (syntax-case stx ()
     [(_ e)
      (let ([expanded  (local-expand #'e (syntax-local-context) #f)])
-       (syntax-case expanded (define-values)
+       (syntax-case expanded (define-values begin)
          [(define-values (x ...) expr)
           (with-syntax ([(y ...)  (generate-temporaries #'(x ...))])
             (syntax/loc stx
               (begin
                 (define-syntax x (make-rename-transformer #'y)) ...
                 (define-values (y ...) expr))))]
+         [(begin e ...)
+          #'(begin (rename-defines e) ...)]
          [_  #'e]))]))
diff --git a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/prims.rkt b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/prims.rkt
index 59d63c60be..6c07a59fe3 100644
--- a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/prims.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/prims.rkt
@@ -1221,10 +1221,6 @@ This file defines two sorts of primitives. All of them are provided into any mod
     ;; the first three cases are actually subsumed by the last,
     ;; but manually expanding to using the : annotation form
     ;; produces better error messages on duplicate annotations
-    ;;
-    ;; note, these first two cases can be collapsed into one
-    ;; but we keep them separate because in some cases it ruins
-    ;; typechecking performance to merge them.
     [(-define nm:id body)
      (syntax/loc stx (define nm body))]
     [(-define nm:id return:return-ann body)