Fixing a typo in glossary