diff -r f51aebc23fbf -r 78d68c3da9d3 Nominal/menu.html
--- a/Nominal/menu.html	Wed Mar 30 16:32:19 2016 +0100
+++ b/Nominal/menu.html	Wed Mar 30 16:35:33 2016 +0100
@@ -55,7 +55,7 @@
 </tr>
 
 <tr>
-<td style="background-color: rgb(224, 224, 240);"><a href="http://http://www.inf.kcl.ac.uk/staff/urbanc/" target="_top">
+<td style="background-color: rgb(224, 224, 240);"><a href="http://www.inf.kcl.ac.uk/staff/urbanc/" target="_top">
 Christian Urban</a> (chair)</td>
 </tr>
 
@@ -130,25 +130,9 @@
 Tjark Weber</a></td>
 </tr>
 
-
-
-<tr>
-<td style="background-color: rgb(224, 224, 240);">
-<br><br><br><br>
-<a href="http://www4.clustrmaps.com/counter/maps.php?url=http://http://www.inf.kcl.ac.uk/staff/urbanc/Nominal/" id="clustrMapsLink" target="_top"><img src="http://www4.clustrmaps.com/counter/index2.php?url=http://http://www.inf.kcl.ac.uk/staff/urbanc/Nominal/" style="border:0px;" alt="Locations of visitors to this page" title="Locations of visitors to this page" id="clustrMapsImg" onError="this.onError=null; this.src='http://www2.clustrmaps.com/images/clustrmaps-back-soon.jpg'; document.getElementById('clustrMapsLink').href='http://www2.clustrmaps.com'" />
-</a></td></tr>
 </tbody>
 </table>
 
-
-<!-- script type="text/javascript">
-var gaJsHost = (("https:" == document.location.protocol) ? "https://ssl." : "http://www.");
-document.write(unescape("%3Cscript src='" + gaJsHost + "google-analytics.com/ga.js' type='text/javascript'%3E%3C/script%3E"));
-</script>
-<script type="text/javascript">
-var pageTracker = _gat._getTracker("UA-4143458-1");
-pageTracker._initData();
-pageTracker._trackPageview();
 </script -->
 </body>
 </html>