final changes to ps debugger