It normally wouldn't be an issue. I was actually just testing the software, and when I enter the $7k under the spouse for Traditional IRA deductions, it reduces taxable income. But it does NOT list it as an IRA deduction, it is offsetting the IRA distributions line.