Yes he has a summer job.
Once the error is corrected, his employer must be informed as well.
What documents do I need to prove he's a citizen?
Only certain documents are accepted as proof of U.S. citizenship like a U.S. birth certificate or U.S. passport.