Fix small tokenizer bug. ref #4