some minor re-formatting of output