IRS funding boost