Revert "Merge pull request #42 from jrochkind/leader_spec"

This reverts commit 14199a687d916385f39ed5215fb9e1908cb490cb, reversing
changes made to a64fb2868f454e39455ebc24859d94b14f6baa7b.
Merge pull request #43 from jrochkind/reversion

Revert "Merge pull request #42 from jrochkind/leader_spec"