fix bug in Failure __del__ method