Tweak tokenizer get_char.