Printing some debugging info