improving pretty-print!