small fix in xdebug;