diff -r 7695cc4ce14a -r 41d293f7ff05 index.html --- a/index.html Mon May 27 19:30:50 2013 +0100 +++ b/index.html Thu May 30 23:18:35 2013 +0100 @@ -112,7 +112,7 @@ here, and full professorships here and -here. +here. I thank all people involved for their efforts.