diff --git a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/env/init-envs.rkt b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/env/init-envs.rkt
index 5e4cacb0..f402567f 100644
--- a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/env/init-envs.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/env/init-envs.rkt
@@ -71,9 +71,9 @@
                                                         (Empty:))))
                             #f #f '())))
      `(make-pred-ty (list ,@(map sub dom)) ,(sub t) ,(sub ft) ,(sub n) ,(sub pth))]
-    [(Function: (list (arr: dom (Values: (list (Result: t (FilterSet: (NotTypeFilter: (== -False) pth 0)
-                                                                      (TypeFilter: (== -False) pth 0))
-                                                        (Path: pth 0))))
+    [(Function: (list (arr: dom (Values: (list (Result: t (FilterSet: (NotTypeFilter: (== -False) pth (list 0 0))
+                                                                      (TypeFilter: (== -False) pth (list 0 0)))
+                                                        (Path: pth (list 0 0)))))
                             #f #f '())))
      `(->acc (list ,@(map sub dom)) ,(sub t) ,(sub pth))]
     [(Union: elems) (split-union elems)]
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
new file mode 100644
index 00000000..39ca9b4f
--- /dev/null
+++ b/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/init-env-tests.rkt
@@ -0,0 +1,34 @@
+#lang racket/base
+
+(require "test-utils.rkt"
+         rackunit
+         mzlib/pconvert
+         (env init-envs)
+         (types abbrev union))
+
+(provide tests)
+(gen-test-main)
+
+(define (convert v)
+  (parameterize ((current-print-convert-hook converter)
+                 ;; ignore sharing in all cases
+                 (current-build-share-hook (λ (v basic sub) 'atomic))
+                 (show-sharing #f)
+                 (booleans-as-true/false #f))
+   (syntax->datum (datum->syntax #f (print-convert v)))))
+
+
+(define tests
+  (test-suite "Init Env"
+    (test-suite "Convert"
+      (check-equal?
+        (convert (-> -String -Symbol))
+        '(simple-> (list -String) -Symbol))
+      (check-equal?
+        (convert (make-pred-ty -String))
+        '(make-pred-ty (list Univ) -Boolean -String `(0 0) `()))
+      (check-equal?
+        (convert (->acc (list (-lst -String)) -String (list -car)))
+        '(->acc (list (-lst -String)) -String `(,-car)))
+    )
+  ))