--- a/Nominal/menu.html Wed Mar 30 16:37:07 2016 +0100
+++ b/Nominal/menu.html Wed Mar 30 16:56:26 2016 +0100
@@ -101,7 +101,7 @@
</tr>
<tr>
-<td style="background-color: rgb(224, 224, 240);"><a href="http://users.rsise.anu.edu.au/~michaeln/" target="_top">
+<td style="background-color: rgb(224, 224, 240);"><a href="http://ssrg.nicta.com.au/people/?cn=Michael+Norrish" target="_top">
Michael Norrish</a></td>
</tr>
@@ -111,7 +111,7 @@
</tr>
<tr>
-<td style="background-color: rgb(224, 224, 240);"><a href="http://www.it.uu.se/katalog/jesperb/" target="_top">
+<td style="background-color: rgb(224, 224, 240);"><a href="http://www.itu.dk/people/jebe/" target="_top">
Jesper Bengtson</a></td>
</tr>