--- a/index.html	Tue Feb 11 16:09:14 2014 +0000
+++ b/index.html	Wed Feb 12 00:14:34 2014 +0000
@@ -46,19 +46,6 @@
     VALIGN="TOP" 
     ROWSPAN="2">
 
-<p align=center>
-<a href="pictures/cs_building.jpg">
-<img src="pictures/cs_building_small.jpg" alt="Computer science building" border=0></a>
-<br>
-<b>Computer science building</b><br>
-</p>
-
-<p align=center>
-<a href="pictures/magistrale.jpg">
-<img src="pictures/magistrale_small.jpg" alt="Main hall of the computer science building" border=0></a>
-<br>
-<b>Main hall of the computer science building</b><br>
-</p>
 
 <p align=center>
 <a href="pictures/englischer_garten.jpg">
@@ -112,23 +99,24 @@
 <TABLE>
 <TR>
 <TD><H1>Bid to host ITP 2015 in Nanjing</H1></TD>
-<TD align="right" valign="top"><img src="TUM-Logo-102.png" alt="TUM" align="top"></TD>
+<TD align="right" valign="top"><img src="pics/nanjing-map.jpg" width="42%" height="40%" alt="TUM" align="top"></TD>
 </TR>
 </TABLE>
 <BR>
 <A HREF="http://en.wikipedia.org/wiki/Nanjing">Nanjing</A>
-is a situated in the heart of China. It is a former capital during the Ming
+is a situated in the heart of China &#8212; close to Shanghai and roughly equidistant
+between Beijing and Hong Kong. It is a former capital during the Ming
 Dynasty with a rich
-<A HREF="http://www.cityofnanjing.com">cultural heritage</A>. It is close to Shanghai and roughly equidistant
-between Beijing and Hong Kong. We like to propose to hold the 5th International Conference
-on Interactive Theorem Proving in Nanjing. The organising committee would be chaired by
+<A HREF="http://www.cityofnanjing.com">cultural heritage</A>. 
+We like to hold the 5th ITP Conference in Nanjing. The organising committee would be chaired by
 Xingyuan Zhang and Christian Urban.
 
 
 <H4>Travel to Nanjing</H4>
 
-There are international airline connections directly to 
-<A HREF="http://en.wikipedia.org/wiki/Nanjing_Lukou_International_Airport">Nanjing Lukou Airport</A>
+Nanjing is a major city in China.
+There are international airline connections to 
+<A HREF="http://en.wikipedia.org/wiki/Nanjing_Lukou_International_Airport">Nanjing Lukou Airport</A> directly
 and via transfer at airports in Hong Kong, Beijing, Shanghai and many others. There
 are also very convenient train connections from Shanghai and Beijing, which
 take slightly more than 1h from Shanghai and about 4h from Beijing.