--- a/index.html	Fri Sep 20 11:12:38 2019 +0100
+++ b/index.html	Fri Sep 20 11:29:32 2019 +0100
@@ -272,7 +272,7 @@
   help us with proving the correctness of the priority inheritance protocol.
   
   This is joint work with Prof. Xingyuan Zhang and his student Chunhan Wu from the 
- <A HREF="http://www.ust.com.cn/">PLA University of Science and Technology</A> in Nanjing. 
+  PLA University of Science and Technology in Nanjing. 
 </TD>
 </TR>
 
@@ -302,7 +302,7 @@
 "proving Reg-exp-langs [being] closed under complementation without using equiv to DFA's"....yes we can!
 This is joint work with Prof. Xingyuan
 Zhang and his student Chunhan Wu from the 
-<A HREF="http://www.ust.com.cn/">PLA University of Science and Technology</A> in Nanjing. 
+PLA University of Science and Technology in Nanjing. 
 My funding for this work came from the 
 <A HREF="http://sinogermanscience.dfg.nsfc.cn/de/index.html">Chinese-German Research Centre</A>. 
 </TD>