I will note that the change in 2023 no longer required that the pension administrator make the up to $3,000 health insurance premium payment directly to the insurance company, but now allows you to make the payment, too.
However, you still have to have taxable pension income for the $3,000 to be applied against. This may not be an issue for you, but I have seen already a taxpayer who could not get the deduction, and it was because he/she had no taxable pension income to apply it to.
Good luck with the 1040X.
**Say "Thanks" by clicking the thumb icon in a post
**Mark the post that answers your question by clicking on "Mark as Best Answer"