diff --git a/collects/tests/typed-racket/optimizer/missed-optimizations/pair.rkt b/collects/tests/typed-racket/optimizer/missed-optimizations/pair.rkt
index 140803ab..779c2678 100644
--- a/collects/tests/typed-racket/optimizer/missed-optimizations/pair.rkt
+++ b/collects/tests/typed-racket/optimizer/missed-optimizations/pair.rkt
@@ -50,7 +50,7 @@ TR missed opt: pair.rkt 84:17 (set-mcdr! (ann (quote ()) (MListof Integer)) (ann
 )
 
 #lang typed/racket
-(require compatibility/mpair)
+(require compatibility/mlist)
 
 ;; car/cdr can be optimized if they are guaranteed to be applied only to
 ;; non-empty lists. otherwise, we miss a potential optimization
diff --git a/collects/typed-racket/base-env/base-env.rkt b/collects/typed-racket/base-env/base-env.rkt
index 7dae4f5f..fa54da50 100644
--- a/collects/typed-racket/base-env/base-env.rkt
+++ b/collects/typed-racket/base-env/base-env.rkt
@@ -15,7 +15,7 @@
   (only-in racket/private/pre-base new-apply-proc)
   racket/promise racket/system
   racket/function
-  compatibility/mpair
+  compatibility/mlist
   racket/base
   racket/set
   racket/place