Update 12_glossary.tex