fix some symbol names for case-sensitivity