Fix up output of testcase runs