diff --git a/teaching/InferLab.md b/teaching/InferLab.md
index 0629295d8e4798b0d91042ea0ca043810dc27750..ec2db6648ede9d35cd07d3762b340c32c51115c7 100644
--- a/teaching/InferLab.md
+++ b/teaching/InferLab.md
@@ -5,13 +5,15 @@ menu: true
 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/)
 
-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 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: 
+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. 
+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/), 
+Engineering Manager at Facebook, and Jules Villard, Software Engineer, gave a tutorial on how to use Infer. 
+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)
  - [DuckDuckGo](https://github.com/duckduckgo/duckduckgo)