minor changes on user-interface for indexterms-pulgin