Fix more comments/outputs in verify programs
3 files changed