Case-insensitivity is painful