Six year old accidentally kneed baby in head

My six year old accidentally kneed my 4 month old son in the head. My baby cried for just a few seconds and seems okay but I don't know if I need to call his pediatrician still? Any advice? :(