Formatting the debugging documentation