I just subtract the wash amount from the cost basis.  I suspect IRS is just looking to make sure the gross proceeds reported by the broker match the amount shown on the return.  If they are matching the cost also, why would they send a notice if the amount is less?  Well, if I'm wrong, see you in jail.