sorting is now case-insensitive