Some additions to glossary