I don't know the details of what is required. I'm a citizen.

The guy who had the paperwork issue had some documentation (green card?) lost in the mail and couldn't get the replacement in time.