no, it's to make sure the encodings are case-insensitive - I'll add a comment