There is a very clear sound a crowd makes when clapping for an injured guy exiting the field. That didn't sound like that. To some of the fans' credit, it seemed a mix of people cheering the injury, applauding out of respect, and booing those who may have been cheering the injury. Some of the boos may have been booing that he was leaving early. They can dine with the people who booed Batista when he was announced as the starter.