cosmetically changes to verification runs: output to STDOUT and plot labeling.