remove fossil about term:<∅> in the setting