add pretty print functions