If something like that happens again, I'd take him to the vet. If it doesn't, then I wouldn't worry about it.