added some printing helpers