diff -r 45c5095d3774 -r 711958b67779 index.html
--- a/index.html	Tue Jul 30 11:09:46 2019 +0100
+++ b/index.html	Tue Jul 30 11:18:37 2019 +0100
@@ -219,7 +219,7 @@
 Prof. Helmut Schwichtenberg.
 Since 2006 this work is supported by an
 Emmy-Noether 
-fellowship.
+fellowship.
 There is a webpage and a
 mailing list 
 about Nominal Isabelle. It also includes a list of projects that use Nominal Isabelle.