spec update for debugger change