This is also unneeded, as leader.rs isn't the toplevel file of the crate.