After you file

No.  The IRS fixed it for you.  Some of your Social Security is now taxable .   So your refund is less.   The IRS is right.