correction of an output formatting bug