fix pretty prints