@jimgutman , Generally, when the income is US sourced and is taxed by both your country of residence and US ( country of citizenship or PR ), you need to use "resourced by treaty" on form 1116 and enter the amount of such income being taxed by both jurisdictions. So select that category on form 1116, enter the total US income and that should work .
Is there more I can do for you ?
