It turned out that no correction was needed and the filing was accepted as is by the IRS. looking at my filed return I found that the gain was reported as interest and an adjustment was made by TT to reduce its tax liability to zero. Confusing, but I guess this is how discounted municipal tax free bonds are being processed.
