@redfox435cat
if you go to IRS.gov and open your account, or request your Record of Account to be mailed to you,
you should see that you have a credit of $-500.
Eventually that money will be refunded to you.
do not file an amended return or you will wait a very long time for that money.
