A Thursday A1 article misidentified the ranked-choice voting software used by Ramsey County to calculate vote totals in the St. Paul mayor’s race. The software is RCTab. The article referenced RCVis, which is used to display the results in a user-friendly format.