More beautification of the output of the benchmark (will ever end?)