What is the best thing to do after ingesting fecal matter?

I actually have a question regarding eating fecal matter. I found my baby eating his own poop after only leaving him in his high chair for a few minutes…his diaper had come loose and that’s how he got access to his own poop. I immediately washed his face and mouth (first then washed him). I gave him a little bit of olive oil because my mom told me too but I was wondering if I should give him something else??? Does anybody know what I should do to help him (besides taking him to the doctor because I’m already doing that tomorrow morning)??? thank you