diff --git a/main.tex b/main.tex
index 0ed1cf7..68c167f 100644
--- a/main.tex
+++ b/main.tex
@@ -64,7 +64,8 @@ comment,adjustbox,mdframed,changepage,algorithm,algorithmic}
     T\kern-.1667em\lower.7ex\hbox{E}\kern-.125emX}}
 \begin{document}
 
-\title{\korg: An Attack Synthesis Tool\\ for Distributed Protocols\\
+\title{\korg: An Attack Synthesis Tool\\ for Distributed Protocols\\\\
+\LARGE Tool Paper
 }
 
 
diff --git a/sections/design.tex b/sections/design.tex
index a30cbe5..c57c86b 100644
--- a/sections/design.tex
+++ b/sections/design.tex
@@ -357,7 +357,7 @@ Next, the user selects a \textit{channel} to generate an attacker on, and an att
 $ ./panda --model=abp.pml --attacker=replay --channel=StoR,RtoS --eval
 \end{lstlisting}
 
-\korg will then modify the \texttt{abp.pml} file to include the \texttt{replay} attacker gadgets attacking channels \texttt{StoR} and \texttt{RtoS}, and model-check it with \spin. \korg outputs the following text, cut down for readability, indicating an exhaustive search for attacks:\\\\
+\korg will then modify the \texttt{abp.pml} file to include the \texttt{replay} attacker gadgets attacking channels \texttt{StoR} and \texttt{RtoS}, and model-check it with \spin. \korg outputs the following text, cut down for readability, indicating an exhaustive search for attacks:
 \begin{lstlisting}
 Full statespace search for:
 	never claim + (eventually_agrees)