CLARIFICATION: the amount received from the IRS was a refund of a previous penalty, not a tax refund. The penalty refund includes interest income
