Minor correction to Debugging section