A bit of debugging output.