fix3: term name already in use