No. That is a taxable distribution and a 10% early withdrawal penalty if he was under 59 1/2. You should have a 1099R for it.
