small bugfix for error_catcher