Sort the labels in bencherlui