[core] small debugging modification