diff --git a/typed-syntax/typed-syntax-convert.rkt b/typed-syntax/typed-syntax-convert.rkt
index 559ad49..ac27f25 100644
--- a/typed-syntax/typed-syntax-convert.rkt
+++ b/typed-syntax/typed-syntax-convert.rkt
@@ -21,9 +21,8 @@
                                  (Syntaxof Any)
                                  (Syntaxof A)))]
                       ;; Backported from 6.8 so that it works on 6.7
-                      [vector->list
-                       (∀ (A) (case→ (→ (Vectorof A) (Listof A))
-                                     (→ VectorTop (Listof Any))))])
+                      [[vector->list vectortop->list]
+                       (→ VectorTop (Listof Any))])
 
 (define-syntax-rule (unsafe-cast v t)
   ((inst unsafe-cast-function t) v))
@@ -95,7 +94,8 @@
                       [else
                        (values (cons car* cdr*) 'modified)]))]
     [(vector? e)  (match-let ([(cons vs* status)
-                               (try-listof-any->isexp* (vector->list e) non-sexp)])
+                               (try-listof-any->isexp* (vectortop->list e)
+                                                       non-sexp)])
                     (case status
                       [(unmodified)
                        (if (immutable? e)