minor tokenizer edit