Nah it was a penalty. A dumb push at the end. Live I thought it was a BS call until the replay angle. Gotta be smarter than that even when the shove does no damage.
The target... Well since it wasn't crown of the helmet it does require an indicator of targeting e.g. launch, crouch, dip of the head which was not there which leaves only this messy text:
"Leading with helmet, shoulder, forearm, fist, hand or elbow to attack with forcible contact at the head or neck area."
Which IMO should have been called. Maybe it wasn't intentional but he went head first into King and shouldn't be excused for his dangerous bad form because he was probably trying to be clean.