minor change to debug instrument