Bugfix in tokenizer...