fix undefined reference (crash) in verifier after verification failure. closes #523. introduced in issue #82.