oops ... fix bug in CMD-t for debugger