Revised debugging section.