This sounds right! I was concerned about including a revised 1040 with a lower amount applied to 2023, even after having paid a balance due. That would have been a double payment. Thanks!
