Must have been a 2nd yellow - he was booked first time, 4 minutes before the red card was shown but the latest scores thingy I watch suggests it was a straight red