First estimated tax payment applied twice - IRS corrected. Do I need to file an ammended return?

[JP106]

So TT automatically applied my first estimated tax payment I had deducted from my 2022 refund to my 2023 tax payments. 

Unfortunately I did not realize it was doing that and applied it again.  My fault, I double counted the first estimated tax payment essentially.

The IRS caught this and gave me less of a refund.  (the proper amount)  The refund just hit my bank account.

A TT website page suggested I do not need to file an amended return to fix clerical errors - that the IRS just does that.  I'm thinking in this situation, I do NOT need to file an amended return as they fixed my mistake.

But I take my taxes quite seriously and if there is any risk of future problems, I'll go through the hassle.

I'd appreciate any advice.  TY!

[CatinaT1]

If the IRS corrected it, there is no need to amend.