fixed a bug whereas any non string symbol was not matched, i.e. a number