flagrate.Button, flagrate.Tokenizer: fixed bug