a leader can now be chosen for no_leader sides

To remedy the previous problem with these sides, the "random" leader will only be made available if there are other
leaders available.