Further edits to leader selection and propagation algorithms.