After you file

This does not apply to him, he has always had a SSN born here. So I should have no problems amending my return