modify Vector.h