added some pretty prints