This couldn't be more right.
I'd usually not be too psyched about the IRS piling on a $60,000 penalty in addition to another $70,000 of interest. Particularly when they result from an alleged mistake in filling out a form.
But here it seems entirely appropriate. At least to me.