diff --git a/src/static-guarantees/state-machines.md b/src/static-guarantees/state-machines.md
index 0d5a5ba..da8adc3 100644
--- a/src/static-guarantees/state-machines.md
+++ b/src/static-guarantees/state-machines.md
@@ -95,4 +95,4 @@ However, this could allow us to modify certain registers that do not make sense.
 
 This would allow us to reach states not defined by our state machine above: An output that is pulled low, or an input that was set high!
 
-Although this interface is convenient to write, it doesn't enforce the design contracts set out by our hardware implementation.
\ No newline at end of file
+Although this interface is convenient to write, it doesn't enforce the design contracts set out by our hardware implementation.