So, I went back and completed the forms by hand. For me, the amount ended up being correct, because the IRS adds back in excluded foreign earned income to "adjust" the tax rate. The effect, of course, is that I am taxed on money that should be completely excluded, because I am already taxed in the country where the money is earned. In any case, I was able to come up with the same amount as that calculated by TT.
