Fix a case-sensitivity issue.