spec update for debugger change
ref #294