another small change to output format