New leaders will notify clients after election, fixes #7