He's been our penalty taker all season, has a good record and is our top goalscorer. The penalty was decent, on target and well-saved.
Sometimes penalties don't go in. It's frustrating and, especially in situations like today where it would have been a crucial, potentially match-winning goal, it can be devastating. If any other player had taken it with the same outcome, we'd be up in arms asking why it hadn't gone to Mahrez.
I don't think he played brilliantly today, but he was far from the only one. And the penalty, painful as it was, wasn't the bottle-job some are making it out to have been.