Treasury will now avoid having to make the May repayment.