minor fix to output formatting