More compact command-line output.