Fix minor output formatting bug.