diff --git a/teaching/InferLab.md b/teaching/InferLab.md
index 8495d09cb8ea1e4e30323647a57854f41394627a..8a4d319da22bd49ec9ece9823cb8e9f9e626024e 100644
--- a/teaching/InferLab.md
+++ b/teaching/InferLab.md
@@ -9,7 +9,7 @@ menu_order: 5
 ![Infer](https://gitlab.doc.ic.ac.uk/resource-reasoning/psvg.doc.ic.ac.uk/blob/master/images/images/infer-small.png)
 
 A team from Facebook came to College to run a lab on [Infer](http://fbinfer.com/), an automatic verification tool based on separation logic, 
-developed by a team led by Peter O’Hearn. At [Facebook[(https://www.facebook.com/inferstaticanalyzer/), Infer is used every day to verify millions of lines of code. 
+developed by a team led by Peter O’Hearn. At [Facebook](https://www.facebook.com/inferstaticanalyzer/), Infer is used every day to verify millions of lines of code. 
 This was part of the Separation Logic MEng and MSc course (404H).
 
 [Peter O’Hearn](http://www.pl-enthusiast.net/2015/09/15/facebooks-peter-ohearn-on-programming-languages/),