edits to printf output