1040x will be needed, IRS wont do it automatically.

Hopefully we wont have to wait for a program change, we can just use a negative on the Other Income line.