Fix a typo and indicate terminal states in Fig1

src/Hydra/Protocol/Figures/head-protocol-states.tex

@@ -1,21 +1,21 @@
 \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);
   \end{tikzpicture}
   \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);

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}))
   \]