case insensitivity is a bug