Yeah, didn't look too friendly but Nolan definitely made the right choice in taking him off.
I think he had a point in blaming that one on one miss on the foul, he only seemed to actually kick the ball because he was pushed, should have been a penalty in my opinion. He also should have shot way before it got to that point though.