Typing corrections

Some typing corrections in the User Guide and the Glossary.