bug in tokenizer/synbol regex