Oh right. For some reason I didn't count the red and crossed-out votes in the vote tally and just counted the white names in brackets to arrive at 7. My bad.