Update token.h