fix bad symbols