fixing more bugs, including a really stupid one in Vector.hs