Fixed a pair of bugs in debug output.