According to Paul Lux, Okaloosa County's supervisor of elections, some precinct ballots were mistakenly printed with “VBM” in the official use box, a designation typically used for vote-by ...