more on prettify1
prettify1 finished