Added some printing functions