Hello! I viewed my tax file in my account with the IRS and found that I paid more estimated taxes in 2019 than I entered on the tax return. Should I amend 2019?

Considering this, would the IRS have made the correction?  I probably paid $100-150 more in estimated taxes (as shown in the account).  If they did not make the correction, isn't correct that my refund should have been a little more?  Thanks in advance!