added some pretty print helpers