Added discussion of debugging