add basic formatting of verification exceptions