It has happened to permanent residents who have green cards, though. It's absolutely not the same as being a citizen, but it should be noted that most green card holders are eligible to become US citizens.

Good point, the man I was thinking of isn't a citizen. But even though the administration has admitted it was an error, they still aren't interested in seeing him returned.