fixed minor bug in tokenizer