You should wait and see if the IRS picks this up and corrects it for you. You can always be a small amount off on this calculation because it runs until the IRS records it in their records.
