Fix bug in sorting of labels in bencherlui