Yet another Unicode symbol fix