fixed minor bug in Tokenizer.cpp