Small fix in debugging output.