Minor output formatting changes