Reflect changes about terminators in the tokenizer