ThesaurusUI problem resolved.