diff --git a/teaching/InferLab.md b/teaching/InferLab.md
index 676f5d8359a789a615cc1816ceb296215c8b9175..0f2d8b39cd4f99669ec414c2d85063d2cc0c9363 100644
--- a/teaching/InferLab.md
+++ b/teaching/InferLab.md
@@ -6,9 +6,9 @@ parent_menu:
 menu_order: 5
 ---
 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. 
+- an automatic verification tool based on separation logic to students on the Separation Logic MEng and MSc course.. At Facebook, Infer is used every day to verify millions of lines of code. 
 The tutorial targeted real world Android applications, such as: 
  - [PocketHub](https://github.com/pockethub/PocketHub)
  - [Wikipedia Android app](https://github.com/wikimedia/apps-android-wikipedia)