# HG changeset patch
# User Christian Urban <christian dot urban at kcl dot ac dot uk>
# Date 1433938634 -3600
# Node ID 8cfc96642da5dee8da4d9371f9d5e3e58dbdd721
# Parent  07be48c6f591d15ba159306e0ab4f1d2445186d3
updated

diff -r 07be48c6f591 -r 8cfc96642da5 index.html
--- a/index.html	Wed Jun 10 13:14:12 2015 +0100
+++ b/index.html	Wed Jun 10 13:17:14 2015 +0100
@@ -208,7 +208,7 @@
 and 200&#20803; for the Coq-tutorial.
 
 <p>
-The registration fees needs to be transferred via a bank
+The registration fee needs to be transferred via a bank
 transfer; we <span style="text-decoration: underline;"><B>cannot</B></span>
 accept credit cards etc for the conference fee. The hotel and many other things can be paid
 by credit card, but not the conference fee. See the <A HREF="booklet.pdf">booklet</A> for