Thanks a bunch. Then I will print out the form 1040-X from TT, sign it, and attach it to the manually filled out form 8660 for my wife, with 0 for the contribution amount, and last-year's basis on the pertinent lines and mail them.
