fix bad call to notify_exception