fix error in debug output