diff -r 82a99eec5b73 -r 6e2cef17a9b3 text/proposal.tex
--- a/text/proposal.tex	Mon Feb 04 13:10:26 2019 +0000
+++ b/text/proposal.tex	Thu Feb 07 10:52:41 2019 +0000
@@ -177,7 +177,7 @@
 otherwise the scanning programs would not be useful as a hardening
 technique for servers. The quest for speed with these decisions is
 presently a rather big challenge for the amount of traffic typical
-serves have to cope with and the large number of patterns that might
+servers have to cope with and the large number of patterns that might
 be of interest.  The problem is that when thousands of regular
 expressions are involved, the process of detecting whether a string
 matches a regular expression can be excruciating slow. This might not