#133: edit references to glossary