minor fixes for case-sensitivity