amend Vector.h