Supplemental assessment due to IRS error is proper