Small corrections to Debugging notes