Improve glossary based on PR #12.