minor change in core/debug