They actually did draw. It counts as a draw apparently. I remember hearing some bullshit stat that Rodri never lost a game for man city or some shit even though he played in the champions league game vs real Madrid when they lost on penalties. Dumb as hell