With the IRS, it is best to let them come to you with a mistake. Since you really don't know, I would wait and see. Make sure you get your 2017 refund before you try to amend. When you try to amend and you have not gotten your refund, things can get very confused.
