diff --git a/typed-racket-lib/typed-racket/base-env/base-env.rkt b/typed-racket-lib/typed-racket/base-env/base-env.rkt
index a96d5e80..4fff1698 100644
--- a/typed-racket-lib/typed-racket/base-env/base-env.rkt
+++ b/typed-racket-lib/typed-racket/base-env/base-env.rkt
@@ -3058,7 +3058,7 @@
                   (-> -Void)
                   (-> (Un (-val 'minor) (-val 'major) (-val 'incremental)) -Void))]
 [current-memory-use (-> -Nat)]
-[dump-memory-stats (-> Univ)]
+[dump-memory-stats (->* '() Univ Univ)]
 
 ;; Section 17.2 (Unsafe Data Extraction)
 [unsafe-car (-poly (a b)