From 2dcc790e4cb4569d684ab73c093939af98461a03 Mon Sep 17 00:00:00 2001
From: Sebastian Nagel <sebastian.nagel@ncoding.at>
Date: Mon, 2 Sep 2024 08:50:22 +0200
Subject: [PATCH] Fix a typo and indicate terminal states in Fig1

---
 src/Hydra/Protocol/Figures/head-protocol-states.tex | 8 ++++----
 src/Hydra/Protocol/OnChain.tex                      | 2 +-
 2 files changed, 5 insertions(+), 5 deletions(-)

diff --git a/src/Hydra/Protocol/Figures/head-protocol-states.tex b/src/Hydra/Protocol/Figures/head-protocol-states.tex
index 7561ccb..dd08628 100644
--- a/src/Hydra/Protocol/Figures/head-protocol-states.tex
+++ b/src/Hydra/Protocol/Figures/head-protocol-states.tex
@@ -1,9 +1,9 @@
 \begin{figure}[t!]
   \centering
   \begin{tikzpicture}[>=stealth,auto,node distance=2.8cm, initial text=$\mathsf{deposit}$, every
-    state/.style={text width=10mm, text height=2mm, align=center}, color=red]
+    state/.style={text width=10mm, align=center}, color=red]
     \node[state, initial, text width=12mm] (pending) {$\mathsf{pending}$};
-    \node[state] (final) [right of=pending] {$\mathsf{final}$};
+    \node[state, accepting] (final) [right of=pending] {$\mathsf{final}$};
 
     \path[->] (pending) edge [bend right=20, below] node {$\mathsf{increment}$} (final);
     \path[->] (pending) edge [bend left=20] node {$\mathsf{recover}$} (final);
@@ -11,11 +11,11 @@
   \newline
   \newline
   \begin{tikzpicture}[>=stealth,auto,node distance=2.8cm, initial text=$\mathsf{init}$, every
-    state/.style={text width=10mm, text height=2mm, align=center}]
+    state/.style={text width=10mm, align=center}]
     \node[state, initial] (initial) {$\stInitial$};
     \node[state] (open) [above right of=initial] {$\stOpen$};
     \node[state] (closed) [right of=open] {$\stClosed$};
-    \node[state] (final) [below right of=closed] {$\stFinal$};
+    \node[state, accepting] (final) [below right of=closed] {$\stFinal$};
 
     \path[->] (initial) edge [bend left=20] node {$\stCollect$} (open);
     \path[->] (open) edge [bend left=20] node {$\stClose$} (closed);
diff --git a/src/Hydra/Protocol/OnChain.tex b/src/Hydra/Protocol/OnChain.tex
index 03cc7b2..1a62b8b 100644
--- a/src/Hydra/Protocol/OnChain.tex
+++ b/src/Hydra/Protocol/OnChain.tex
@@ -519,7 +519,7 @@ \subsection{Decrement Transaction}\label{sec:decrement-tx}
   \[
 	\msVfy(\hydraKeys,(\cid || v || s || \eta' || \red{\bot} || \eta_\omega),\xi) = \true
   \]
-  where $\eta_\omega$ must is the digest of all removed UTxO
+  where $\eta_\omega$ is the digest of all removed UTxO
   \[
 	\eta_\omega = \hash(\bigoplus_{j=2}^{m+1} \bytes(o_{j}))
   \]