Fixed verifier encoding bug