That's helpful. Thank you. As a quick follow up:
Line 8z on Schedule 1 where the correction should be made includes a place to enter the type of "Other income". Can I reference the treaty provision here rather than having to do a paper return to include Form 8833? A comment such as "Tax exempt pensions under US-UK treaty, Article 17" would provide the same information as needed by Form 8833.
