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