Tokenizer: small speedup