Correction of the day, from the Times‘ latest update on the debt ceiling/government shutdown crisis: