Fix some bad symbols