diff --git a/teaching/InferLab.md b/teaching/InferLab.md
index b563f7ce829f4783fa2135aaf7f70e6ab12f7f12..0d931f6787624232e06b284259ef62513b7a6c21 100644
--- a/teaching/InferLab.md
+++ b/teaching/InferLab.md
@@ -7,7 +7,7 @@ menu_order: 5
 ---
 
 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, 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/),