adding in some debugging output