diff --git a/GLOSSARY.md b/GLOSSARY.md
index 6357510..3ffe0c7 100644
--- a/GLOSSARY.md
+++ b/GLOSSARY.md
@@ -27,17 +27,17 @@
 
 ### Type stuff which can be see outside the compilers
 
-- Node: The basic building block of the Abstract Syntax Tree (AST). In general node represent non-terminals in the language grammar; some terminals are kept in the tree such as identifiers and literals.
+- `Node`: The basic building block of the Abstract Syntax Tree (AST). In general node represent non-terminals in the language grammar; some terminals are kept in the tree such as identifiers and literals.
 
-- SourceFile: The AST of a given source file. A SourceFile is itself a Node; it provides an additional set of interfaces to access the raw text of the file, references in the file, the list of identifiers in the file, and mapping from a position in the file to a line and character numbers.
+- `SourceFile`: The AST of a given source file. A SourceFile is itself a Node; it provides an additional set of interfaces to access the raw text of the file, references in the file, the list of identifiers in the file, and mapping from a position in the file to a line and character numbers.
 
-- Program: A collection of SourceFiles and a set of compilation options that represent a compilation unit. The program is the main entry point to the type system and code generation.
+- `Program`: A collection of SourceFiles and a set of compilation options that represent a compilation unit. The program is the main entry point to the type system and code generation.
 
-- Symbol: A named declaration. Symbols are created as a result of binding. Symbols connect declaration nodes in the tree to other declarations contributing to the same entity. Symbols are the basic building block of the semantic system.
+- `Symbol`: A named declaration. Symbols are created as a result of binding. Symbols connect declaration nodes in the tree to other declarations contributing to the same entity. Symbols are the basic building block of the semantic system.
 
 - `Type`: Types are the other part of the semantic system. Types can be named (e.g. classes and interfaces), or anonymous (e.g. object types).
 
-- Signature``: There are three types of signatures in the language: call, construct and index signatures.
+- `Signature`: There are three types of signatures in the language: call, construct and index signatures.
 
 * `Transient Symbol` - A symbol created in the checker, as opposed to in the binder
 * `Freshness` - When a literal type is first created and not expanded by hitting a mutable location, see [Widening