Tiny tweak to Tokenizer