I'm assuming you're meaning that he left out the 8% (eventually 9%) annual B fund that FedEx contributes on top of the pension. Though right now it is only paid on salary up to 265K.

However, I don't think I would make retirement a major factor for this choice. Things can change, but they're both pretty good retirements.