tweaks to output of verify.js