Yes it's correct. He didn't roll over the part attributable to withholding tax, so that part is taxable.
No this is not a nontaxable IRA. He did a tax free rollover from the 401(k) to an IRA.
