minor change in Tokenizer.js