Another Small fix in debug output