diff --git a/collects/typed-scheme/base-env/base-env.rkt b/collects/typed-scheme/base-env/base-env.rkt
index 25aac651..a2fceeae 100644
--- a/collects/typed-scheme/base-env/base-env.rkt
+++ b/collects/typed-scheme/base-env/base-env.rkt
@@ -1210,7 +1210,13 @@
                           (-opt -Integer)
                           (-opt -Integer)
                           (-opt -Integer)))]
-        [srcloc (Un S (-val #f) srclist)]
+        [srcvec (make-HeterogenousVector (list
+                                          Univ
+                                          (-opt -Integer)
+                                          (-opt -Integer)
+                                          (-opt -Integer)
+                                          (-opt -Integer)))]
+        [srcloc (Un S (-val #f) srclist srcvec)]
         [prop (-opt S)]
         [cert (-opt S)])
    (cl->*