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

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!