minor refinement to printout, for example purposes