Run markdownlint --fix on spec.

1 files changed, 7 insertions, 1 deletions

diff --git a/spec/guard-spec/appendices.md b/spec/guard-spec/appendices.md
index ea743f7..612ff4c 100644
--- a/spec/guard-spec/appendices.md
+++ b/spec/guard-spec/appendices.md
@@ -1,13 +1,16 @@
 <a id="guard-spec.txt-A"></a>
+
 # Appendices
 
 <a id="guard-spec.txt-A.0"></a>
+
 ## Acknowledgements
 
 This research was supported in part by NSF grants CNS-1111539,
 CNS-1314637, CNS-1526306, CNS-1619454, and CNS-1640548.
 
 <a id="guard-spec.txt-A.1"></a>
+
 ## Parameters with suggested values. [Section:PARAM_VALS]
 
 (All suggested values chosen arbitrarily)
@@ -76,6 +79,7 @@ CNS-1314637, CNS-1526306, CNS-1619454, and CNS-1640548.
 ```
 
 <a id="guard-spec.txt-A.2"></a>
+
 ## Random values [Section:RANDOM]
 
 Frequently, we want to randomize the expiration time of something
@@ -87,6 +91,7 @@ By RAND(now, INTERVAL) we mean a time between now and INTERVAL in
 the past, chosen uniformly at random.
 
 <a id="guard-spec.txt-A.3"></a>
+
 ## Why not a sliding scale of primaryness? [Section:CVP]
 
 At one meeting, I floated the idea of having "primaryness" be a
@@ -141,6 +146,7 @@ need more analysis!  Here's why:
 ```
 
 <a id="guard-spec.txt-A.4"></a>
+
 ## Controller changes
 
 We will add to control-spec.txt a new possible circuit state, GUARD_WAIT,
@@ -150,6 +156,7 @@ but we will not use it because a circuit with a better guard might
 become built too.
 
 <a id="guard-spec.txt-A.5"></a>
+
 ## Persistent state format
 
 The persistent state format doesn't need to be part of this
@@ -208,4 +215,3 @@ Recognized fields (values of K) are:
 
 All dates here are given as a (spaceless) ISO8601 combined date
 and time in UTC (e.g., 2016-11-29T19:39:31).
-