some glossary tweaks