--- a/index.html	Sat Oct 22 10:54:41 2011 +0100
+++ b/index.html	Sat Oct 22 11:04:10 2011 +0100
@@ -42,7 +42,7 @@
 <BR><BR>
 
 <A HREF="http://isabelle.in.tum.de/nominal/">
-<IMG SRC="ribbon.gif" ALT="" style="border-width: 0px;" align="left"></A>
+<IMG SRC="nominal-logo.gif" ALT="" style="border-width: 0px;" align="left"></A>
 </TD>