--- a/index.html	Sun Nov 30 10:27:31 2014 +0000
+++ b/index.html	Sun Nov 30 10:28:11 2014 +0000
@@ -303,7 +303,7 @@
 There are several groups in the ITP area that are active in China. For example for the last
 five years there have been popular
 <A HREF="http://sts.thss.tsinghua.edu.cn/APSSFM_2013">summerschools</A> in China about Coq
-with 50 or so student participants each. ITP (and TPHOLs) have
+with 50 or so student participants each. ITPs (and TPHOLs) have
 <A HREF="history.html">never</A> been hosted in
 China, and this might be an opportunity for the ITP community to foster relations
 with researchers from China and Asia, and for local researchers to become part of the