Benchmark: nicer output.