removing some old glossary stuff