The red card was okay.