diff --git a/teaching/InferLab.md b/teaching/InferLab.md
index e5fe6d9f07754931c836de883a4a334f5e392898..a8b2b6157d62be60d44dd409cbe8ee06fbb32a3f 100644
--- a/teaching/InferLab.md
+++ b/teaching/InferLab.md
@@ -5,7 +5,7 @@ menu: true
 parent_menu: Teaching
 menu_order: 5
 ---
-A team from Facebook came run a lab on [Infer](http://fbinfer.com/), and industrial verification tool developed by a team led by [Peter O’Hearn](http://www.pl-enthusiast.net/2015/09/15/facebooks-peter-ohearn-on-programming-languages/)
+A team from Facebook came run a lab on [Infer](http://fbinfer.com/), an industrial verification tool developed at Facebook by a team led by [Peter O’Hearn](http://www.pl-enthusiast.net/2015/09/15/facebooks-peter-ohearn-on-programming-languages/)
 Logic MEng and MSc course.
 Petar O'Hearn, Engineering Manager at Facebook, and Jules Villard, Software Engineer, gave a tutorial on how to use Infer 
 - an automatic verification tool based on separation logic. At Facebook, Infer is used every day to verify millions of lines of code.