So? According to GPL they should have complied.
So sue him and get a judge to force him to comply. You may be correct in all those technicalities, but you're not using all the tools available to you for enforcement of what they must do as result of that original mistake, even if it's been corrected since then.
