diff --git a/CLasH/VHDL/Constants.hs b/CLasH/VHDL/Constants.hs
--- a/CLasH/VHDL/Constants.hs
+++ b/CLasH/VHDL/Constants.hs
@@ -106,9 +106,9 @@
 singletonId :: String
 singletonId = "singleton"
 
--- | length function identifier
+-- | length attribute identifier
 lengthId :: String
-lengthId = "vlength"
+lengthId = "length"
 
 
 -- | isnull (function null in original Haskell source) function identifier
diff --git a/Data/Param/Vector.hs b/Data/Param/Vector.hs
--- a/Data/Param/Vector.hs
+++ b/Data/Param/Vector.hs
@@ -158,7 +158,7 @@
 vmap :: (a -> b) -> Vector s a -> Vector s b
 vmap f = liftV (map f)
 
-vzipWith :: (a -> b -> c) -> Vector s a -> Vector s' b -> Vector (Min s s') c
+vzipWith :: ((s :>=: s') ~ True) => (a -> b -> c) -> Vector s a -> Vector s' b -> Vector s' c
 vzipWith f = liftV2 (zipWith f)
 
 vfoldl :: (a -> b -> a) -> a -> Vector s b -> a
diff --git a/clash.cabal b/clash.cabal
--- a/clash.cabal
+++ b/clash.cabal
@@ -1,5 +1,5 @@
 name:               clash
-version:            0.1.2.1
+version:            0.1.2.2
 build-type:         Simple
 synopsis:           CAES Language for Synchronous Hardware (CLaSH)
 description:        CLaSH is a tool-chain/language to translate subsets of