bug in tokenizer/symbol regex