Barcelona defender Gerard Pique felt Real Madrid captain Sergio Ramos should have been sent off in the 1-1 El Clasico draw on Wednesday.
Ramos was booked in just the 10th minute of the Copa del Rey semi-final first leg at Camp Nou and was perhaps fortunate to escape a second yellow for a foul on Arthur and, later, an incident involving Luis Suarez.
While Pique said referee Antonio Mateu Lahoz performed well, he thought Ramos should have seen red.
Editors' Picks
"In general, he has made a good match," he told reporters.
"It was a red card for Sergio, but what can we do?