The Form 1040 is for both US citizens and residents. You have the correct filing.
View solution in original post
