Implemented some debugging output