OCS changed their ruleset so that when two teams tie on a map, that point is ignored and the rest of the set plays out, but if they need to re-settle that map by the end of the five matches, they'll deal with it then.