T.N.
Was it the first time he had the cookie? Does the package say that it was produced in a factory that may cross contaminate with nuts etc? If he is fine now, I wouldn't worry. But you could always call the doc on call. Or at least call the doc tomorrow.