fix a small bug in result printing, make ktest output more like old ktest