diff --git a/collects/typed-scheme/private/base-env.rkt b/collects/typed-scheme/private/base-env.rkt
index 7ec93a66..9c0e924f 100644
--- a/collects/typed-scheme/private/base-env.rkt
+++ b/collects/typed-scheme/private/base-env.rkt
@@ -504,26 +504,24 @@
 [syntax-source (-> (-Syntax Univ) Univ)]
 [syntax-position (-> (-Syntax Univ) (-opt N))]
 [datum->syntax 
- (-poly 
-  (a)
-  (let* ([Pre Syntax-Sexp]
-         [I (-Syntax Sym)]
-         [A Any-Syntax]
-	 [S (-Syntax Univ)]
-         [ctxt (-opt S)]
-	 [srclist (-Tuple (list
-                           Univ 
-                           (-opt -Integer)
-                           (-opt -Integer)
-                           (-opt -Integer)
-                           (-opt -Integer)))]
-	 [srcloc (Un S (-val #f) srclist)]
-	 [prop (-opt S)]
-	 [cert (-opt S)])
-    (cl->*
-     (->opt ctxt Sym  [srcloc prop cert] I)
-     (->opt ctxt Pre  [srcloc prop cert] A)
-     (->opt ctxt Univ [srcloc prop cert] S))))]
+ (let* ([Pre Syntax-Sexp]
+        [I (-Syntax Sym)]
+        [A Any-Syntax]
+        [S (-Syntax Univ)]
+        [ctxt (-opt S)]
+        [srclist (-Tuple (list
+                          Univ 
+                          (-opt -Integer)
+                          (-opt -Integer)
+                          (-opt -Integer)
+                          (-opt -Integer)))]
+        [srcloc (Un S (-val #f) srclist)]
+        [prop (-opt S)]
+        [cert (-opt S)])
+   (cl->*
+    (->opt ctxt Sym  [srcloc prop cert] I)
+    (->opt ctxt Pre  [srcloc prop cert] A)
+    (->opt ctxt Univ [srcloc prop cert] S)))]
 
 [syntax->datum (cl->* (-> Any-Syntax -Sexp)
                       (-> (-Syntax Univ) Univ))]
diff --git a/collects/typed-scheme/scribblings/ts-reference.scrbl b/collects/typed-scheme/scribblings/ts-reference.scrbl
index 75044c77..b688cd69 100644
--- a/collects/typed-scheme/scribblings/ts-reference.scrbl
+++ b/collects/typed-scheme/scribblings/ts-reference.scrbl
@@ -93,6 +93,8 @@ The following base types are parameteric in their type arguments.
   type variables @racket[v ...]}
 @defform[(List t ...)]{is the type of the list with one element, in order, 
   for each type provided to the @racket[List] type constructor.}
+@defform[(Vector t ...)]{is the type of the list with one element, in order, 
+  for each type provided to the @racket[Vector] type constructor.}
 @defform[(values t ...)]{is the type of a sequence of multiple values, with
 types @racket[t ...].  This can only appear as the return type of a
 function.}