You are still not giving us the crucial details...

If all your client had was $9,500 of income, there wouldn't be a filing requirement to start with.

Assuming all $9,500 is in G/L, which is unusual for pension, even if your client had other income, there is no reason why Line 3e, which is gross income from all sources, could be smaller than Line 1a, which is gross income from within the foreign country.  By design and mathematically, gross income from all source just has to be larger than (or equal to, assuming the taxpayer has US-source income,) that of foreign countries.

My only guess is that you had overriden or adjusted the line for all sources. Suggest that you check your input under Credits > Foreign Tax Credit (1116).  On the input screen, click on the link for Gen. Info/Elections in the top-right corner, and see if you have any input on the line for Gross income from all sources [Adjust].

If not, please come back with more specific info about your client's income, the baskets these fall under, and the amounts you entered vs what you see on the return.