--- a/index.html	Tue Feb 11 15:31:33 2014 +0000
+++ b/index.html	Tue Feb 11 15:33:37 2014 +0000
@@ -113,9 +113,9 @@
 </TABLE>
 <BR>
 <A HREF="http://en.wikipedia.org/wiki/Nanjing">Nanjing</A>
-is a situated in the heart of China, a former capital during the Ming
+is a situated in the heart of China. It is a former capital during the Ming
 Dynasty with a rich cultural heritage. It is close to Shanghai and roughly equidistant
-between Beijing and Hong Kong. This is a bid to host the 5th International Conference
+between Beijing and Hong Kong. We like to propose to host the 5th International Conference
 on Interactive Theorem Proving in Nanjing. The organising committee would be chaired by
 Xingyuan Zhang and Christian Urban.