Minor output format tweak