Yes, the referee didn't blow the whistle on Müller going down. But when Müller is sitting on the ground Pepe headbutts him, just a bit, but clearly a straight red. Also Müller immediately gets up after Pepe headbutts him, no rolling around the floor barcelona-style, should be noted aswell.