minor changes to printout