Small changes in debugging output.