Added a section on debugging