alphabetical ordering is now case-insensitive