Minor fix to pytools.debug.