restore some debugging output