bugfix on debugger decorator