Tokenizer.php: Simplify