adjust pretty printer
list to use pretty printing
a bit more pretty printing