Small change to Vector.h constructor