I'd say it's not that off: for computer science the numbers are 686/1150, so only about 40% are US citizens or PRs. This is even more scewed at top schools in my experience.

Also thanks for finding this data, didn't know it existed!