Minor change in one line of debugging output.