Update tokenizer.h