fix "pretty print"