flagrate.Tokenizer: improved