Yes. He paid with the return. There's no detail in the IRS letter other than the balance differences.
