more case-sensitivity bugs