Update pretty_print.bash