some printing functions.