Why are these things case-sensitive?