Fix bug in debug output