The unfunded liability went down (and the snark went up).