diff --git a/doc/ref/spec.md b/doc/ref/spec.md
index 5809fec..e46add0 100644
--- a/doc/ref/spec.md
+++ b/doc/ref/spec.md
@@ -837,6 +837,10 @@
 Implementations may associate error strings with different instances of bottom;
 logically they all remain the same value.
 
+```
+bottom_lit = "_|_" .
+```
+
 
 ### Top
 
@@ -859,7 +863,7 @@
 It is unordered with respect to any other value.
 
 ```
-null_lit   = "null"
+null_lit   = "null" .
 ```
 
 ```
@@ -877,7 +881,7 @@
 element in the lattice.
 
 ```
-boolean_lit = "true" | "false"
+bool_lit = "true" | "false" .
 ```
 
 ```
@@ -1623,7 +1627,7 @@
 and an unlimited number of elements as its upper bound.
 
 ```
-ListLit       = "[" [ ElementList [ "," [ Ellipsis ] ] [ "," ] "]" .
+ListLit       = "[" [ ElementList [ "," [ Ellipsis ] ] [ "," ] ] "]" .
 ElementList   = Embedding { "," Embedding } .
 ```
 
@@ -1853,7 +1857,7 @@
 Operand     = Literal | OperandName | "(" Expression ")" .
 Literal     = BasicLit | ListLit | StructLit .
 BasicLit    = int_lit | float_lit | string_lit |
-              null_lit | bool_lit | bottom_lit | top_lit .
+              null_lit | bool_lit | bottom_lit .
 OperandName = identifier | QualifiedIdent .
 ```