diff --git a/spec.md b/spec.md
index 9ca74076..d008df51 100644
--- a/spec.md
+++ b/spec.md
@@ -825,6 +825,7 @@ For example:
 Probe<UInt<8>, A.B>     ; A.B is a layer
 RWProbe<UInt<8>, A.B>
 ```
+
 Probes are generally lowered to hierarchical names in Verilog.
 For details, see the FIRRTL ABI Specification.