Update make_glossary.js