Technically correct.
But IRS will come back and ask for it. They don't follow their own instructions.
