minor formatting for output