Well check the 1040X amended return. Does the $4,500 show up on line 16 as paid? What happens if you change line 16 to zero? Print out the 1040X and write 0 on line 16 and redo the math to the bottom by hand.
