Oh, I see where it's happening. Anyway, maybe it doesn't matter for other symbols because the browser should handle it, I'm not sure.