After you file

Since this will not affect the bottom line of the form 1040 I would do nothing right now ... just wait and see if you get an IRS letter then you can simply point out the error at that time.