another case-sensitivity fix