Formatting in pretty_print.bash