It probably is the mucous going through his system.
I'm sure that of he was sick with gastro you'd know all about it. Call your health centre or Dr if you are worried.