Adding some more details to the debug document (fix compilation issue).