Fix vector.h