fix some symbol names for case-sensitivity
Merge pull request #5 from PhilipWitte/master

fix some symbol names for case-sensitivity