Just fill out the 843 form. If you receive the refund, it would not be reported as income, so there are no other steps you would take. You have 3 years from the time the return was filed to get it back. If you have not requested it yet, do so immediately.