But the mayoral primary still heading to ranked-choice count.