Fix some typos in the glossary