Minor fix to debug output.
Direct bug reports to me.