fix simplesymbols.js