That tallies with what I've heard (coming back into the US from the Bahamas a few years ago when we all had visas but another plane that morning had people without).
They got the "don't do it again" treatment.
I'm interested to know what the other options are though? Jail? They can't simply let them take off again and hope they really do leave the US as requested...