Yes, that is correct. You would not need to make any negative adjustment because the employer has already done that for you by reducing the amount in Box 1, Form W-2.
Attach a copy of your 1042-S and Form 8833 to an amended return (Form 1040-X) that has no change to it. You will be able to enter an explanation or reason for the amendment that will print on page 2, Form 1040-X.
@bsun0802
**Say "Thanks" by clicking the thumb icon in a post
**Mark the post that answers your question by clicking on "Mark as Best Answer"