quick fix for external verify exceptions [#791]