The state hasn't received the money from the IRS yet