minor spec, readme, and debugger text update