fixed an erroneous debug message