--- a/index.html Thu Feb 13 19:20:53 2014 +0000
+++ b/index.html Thu Feb 13 20:19:57 2014 +0000
@@ -221,7 +221,7 @@
The best tour around Nanjing is to go to the Purple Mountains passing by the
the Linggusi pagoda, the city wall and the Ming tombs
(see pictures on the left). There is a wide selection of excellent restaurants
-around Nanjing's Confucius Temple for a conference dinner. If chosen, we would
+around Nanjing's Confucius Temple for a conference dinner. If our bid is chosen, we would
canvas for opinions about what participants would be most interested in.
<H4>Finance</H4>
@@ -235,7 +235,7 @@
co-organiser of the TPHOLs conference
in 2009 in <A HREF="http://isabelle.in.tum.de/nominal/activities/tphols09/">Munich</A>.
We will make use of the infrastructure available at Xingyuan's university for local
-organisation.
+organisation. There will also be a student team that helps with running the conference.
</TD>
</TR>
</TABLE>