bugfix in debug message