Ouch! At this point he should get a tax refund on his capital loss rather than paying capital gains tax.