When was he expected to step down? March?
Did that have something to do with his pension?
He probably has a bunch of accrued leave which will tide him over with pay until he can officially retire.
I think he was trying to get to his full 20 yrs.