debugging and cleaning-up the glossary