Yes, the IRS will make the correction and refund you that amount less than what you claimed on your return. There is a chance they could not catch it in time - at which point if you do receive what you are not owed you will definitely want to file an amended and pay that money back as they will come after you for it - plus interest and penalties - even if it takes them a year or two to catch the error.
