diff --git a/docs/docs/reference/metaprogramming/macros.md b/docs/docs/reference/metaprogramming/macros.md
index b16dd4d62dfc..c1841849bd0b 100644
--- a/docs/docs/reference/metaprogramming/macros.md
+++ b/docs/docs/reference/metaprogramming/macros.md
@@ -60,7 +60,7 @@ quotation.
 
 Quotes and splices can also be applied directly to identifiers. An identifier
 `$x` starting with a `$` that appears inside a quoted expression or type is treated as a
-splice `${x}`. Analogously, an quoted identifier 'x that appears inside a splice
+splice `${x}`. Analogously, an quoted identifier `'x` that appears inside a splice
 is treated as a quote `'{x}`. See the Syntax section below for details.
 
 Quotes and splices are duals of each other. For arbitrary
@@ -110,7 +110,7 @@ allowed everywhere.
 
 The phase consistency principle can be motivated as follows: First,
 suppose the result of a program `P` is some quoted text `'{ ... x
-... }` that refers to a free variable `x` in `P` This can be
+... }` that refers to a free variable `x` in `P`. This can be
 represented only by referring to the original variable `x`. Hence, the
 result of the program will need to persist the program state itself as
 one of its parts. We don’t want to do this, hence this situation