More on Tutorial, bug fix of debugger