--- a/text/proposal.tex	Tue May 15 10:24:25 2018 +0100
+++ b/text/proposal.tex	Tue May 15 15:08:41 2018 +0100
@@ -86,7 +86,7 @@
 \begin{document}
 
   
-\section*{Proposal:\\
+\section*{Proposal: \\
   Fast Regular Expression Matching\\
   with Brzozowski Derivatives}
 
@@ -258,7 +258,7 @@
 regular expression $(a^*)^* \,b$ and the built-in regular expression
 matchers in the popular programming languages Python and Java (Version
 8 and Version 9). There are many more regular expressions that show
-the same bahaviour.  On the left-hand side the graphs show that for a
+the same behaviour.  On the left-hand side the graphs show that for a
 string consisting of just 28 $a\,$'s, Python and the older Java (which
 was the latest version of Java until September 2017) already need 30
 seconds to decide whether this string is matched or not. This is an