diff --git a/src/lets.lisp b/src/lets.lisp
index 21b70a1..642f6f2 100644
--- a/src/lets.lisp
+++ b/src/lets.lisp
@@ -77,7 +77,7 @@ ex: (~a (fx)) corresponds to (values (fx) ...)." dim mname)))
     `(progn (map-docstring ',mname ,docs :nodesc :context)
             (map-symbol `(,',mname (expr) ,,docs
                                    `(values ,@(loop repeat ',',dim
-                                                    collect expr of-type ',',type)))))))
+                                                    collect expr)))))))
 (defmacro define-val (dim type)
   (awg (e)
     (let* ((mname (vvsym type dim "val"))
diff --git a/veq.asd b/veq.asd
index a5ddd38..3794b71 100644
--- a/veq.asd
+++ b/veq.asd
@@ -3,7 +3,7 @@
   :description "reasonably fast operations for 1-4d vectors, matrices, and
 arrays of vectors."
   :author "anders hoff / @inconvergent / inconvergent@gmail.com"
-  :version "4.5.4" :licence "MIT"
+  :version "4.5.5" :licence "MIT"
   :in-order-to ((asdf:test-op (asdf:test-op #:veq/tests)))
   :pathname "src/" :serial nil
   :depends-on (#+SBCL #:sb-cltl2)
@@ -44,7 +44,7 @@ arrays of vectors."
 
 (asdf:defsystem #:veq/tests
   :depends-on (#:veq #:prove #:asdf #:uiop)
-  :version "4.5.4"
+  :version "4.5.5"
   :perform (asdf:test-op (o s) (uiop:symbol-call ':veq-tests '#:run-tests))
   :pathname "test/" :serial t
   :components ((:file "run")))