Given bubs' age I would ask a GP about it. It's not something I would leave to chance or see if it happens again and you don't know what it may be a symptom of.