It wasn't a bad call. If the defender had stuck his hand in the receivers' face mask and pushed his head, it would have been called on him so why not if it was reversed and the receiver did it to the defender.
I have been reading the thread the entire time.
Don't be a cheeseburger!