diff --git a/docs/sophia_syntax.md b/docs/sophia_syntax.md
index d945c3b..db438b5 100644
--- a/docs/sophia_syntax.md
+++ b/docs/sophia_syntax.md
@@ -69,6 +69,7 @@ contract Layout =
 ## Notation
 
 In describing the syntax below, we use the following conventions:
+
 - Upper-case identifiers denote non-terminals (like `Expr`) or terminals with
   some associated value (like `Id`).
 - Keywords and symbols are enclosed in single quotes: `'let'` or `'='`.