Further fixes to glossary