I just looked at the return before submission. Section 32 on form 1116 is now filled (0 in my case). So I guess the issue has been fixed. I am going to refile and post the result if accepted by IRS.
