diff --git a/pkgs/typed-racket-pkgs/typed-racket-test/info.rkt b/pkgs/typed-racket-pkgs/typed-racket-test/info.rkt
index 7c1873f9..6b969a1d 100644
--- a/pkgs/typed-racket-pkgs/typed-racket-test/info.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-test/info.rkt
@@ -12,6 +12,7 @@
                      "redex-lib"
                      "htdp-lib"
                      "sandbox-lib"
+                     "pconvert-lib"
                      "unstable-flonum-lib"
                      "unstable"
                      "scribble-lib"))
diff --git a/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/all-tests.rkt b/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/all-tests.rkt
index 141591fa..d3409d85 100644
--- a/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/all-tests.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/all-tests.rkt
@@ -37,5 +37,6 @@
   "class-tests.rkt"
   "class-util-tests.rkt"
   "check-below-tests.rkt"
+  "init-env-tests.rkt"
   "filter-tests.rkt"
   "rep-tests.rkt")
diff --git a/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/init-env-tests.rkt b/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/init-env-tests.rkt
index 0b78b5e8..3d96f246 100644
--- a/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/init-env-tests.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/init-env-tests.rkt
@@ -32,6 +32,6 @@
         '(->acc (list (-lst -String)) -String `(,-car)))
       (check-equal?
         (convert (-mu x (-lst* Univ (-box x))))
-        '(make-Mu 'x (-lst* Univ (make-Box (make-F 'x)))))
+        '(make-Mu 'x (make-Pair Univ (make-Pair (make-Box (make-F 'x)) -Null))))
     )
   ))