I would wait until IRS asked.  They aren't going to read any attachment to his 1040, and why would they believe it anyway?  

I doubt with budget cuts they're going to do 100% matching of 1099-S forms, anyway.  But we'll find out.