Commiserations to the Dutch fans after this evening’s match. That was never a penalty