Yes, my original return included them, and I was given a full refund of all the tax that was withheld (even the tax on the form without the SSN). I'd claimed a refund on the basis of a tax treaty for non-resident aliens. But am now staying in the US so need to pay back the full tax amount for 2016 retrospectively. Since they returned all the withholding, and it's just me paying them for 2016, that should be less of a problem, right?
