added some pretty printing utilities