added some more comments to the built-in debugger