Retiring to the UK

Hi:

I am retiring to the UK.  As a US citizen, I believe I must file a US tax return, but because of the US/UK tax treaty I will get credit for the UK tax I pay.  Are the correct forms to file - Form 1040 with Schedule 3 and Form 1116?

Thank you