He should have the 1099R from the distribution to report that income n his return.

Divorce settlements aren't a deduction for him, too bad he had to take the money from his 401k to make the payment.

should have had a QDRO done

sounds like it was for a equity buyout, not a retirement split. QDROs are for when the ex spouse is entitled to a portion of the retirement income.