Update InferLab.md

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)