--- a/index.html	Tue Jul 30 11:21:32 2019 +0100
+++ b/index.html	Tue Jul 30 11:24:14 2019 +0100
@@ -221,7 +221,7 @@
 <A HREF="http://en.wikipedia.org/wiki/Emmy_Noether">Emmy-Noether</A> 
 <A HREF="https://www.dfg.de/en/research_funding/programmes/individual/emmy_noether/">fellowship</A>.
 There is a <A HREF="https://nms.kcl.ac.uk/christian.urban/Nominal/">webpage</A> about Nominal
-Isabelle. It also includes a list of projects that use Nominal Isabelle.
+Isabelle, which also includes a list of projects that use Nominal Isabelle.
 Users of Nominal Isabelle had their papers appearing at LICS, POPL, FOSSACS, SOS, TPHOLs, CPP, SEFM,
 the Haskell Symposium and
 in the Journal of Automated Reasoning.