Thank you for your reply, James.
I will next time, but if I had seen anybody handing it to the check-in or gate agent, I guess I would have done the same. I am surprised to know about a somewhat lax procedure. Did anybody have a problem with entering the US the following time?