A billion dollar tweak for saving Social Security