update docs, improve debugger