fix pretty-print without pl.pretty