yes the sales schedule showing your adjusted basis has been reduced by 13k. Since you can't deduct it currently and you apparently sold ET you get to add it back. See the instructions for column 5 on the sales schedule. The only potential issue is with the IRS if you don't file the 8990. have no way of knowing.
