minor changes to Debugging chapter