Update vector-token.h