Fix verifier crash (Issue #553)