Update 2016-11-14-inferlab.md

_posts/2016-11-14-inferlab.md

@@ -9,13 +9,13 @@ where it is used every day to verify millions of lines of code.
 ![Infer Lab](/images/posts/Infer-lab-1.jpg)
 
 [Peter O’Hearn](http://www.pl-enthusiast.net/2015/09/15/facebooks-peter-ohearn-on-programming-languages/), 
-Engineering Manager and leader of the Infer team, gave an overview of the use of Infer at Facebook. 
+Engineering Manager and leader of the Infer team, talked about the use of Infer at Facebook. 
 [Jules Villard](https://www.doc.ic.ac.uk/~jvillar1/), Software Engineer at Facebook, gave a tutorial on bi-abduction, 
 based on the slides that he developed together with Daiva Naudžiūnienė whilst a Post-Doc at Imperial College London.
 
 Then the Imperial team ran a lab on how to use [Infer](http://fbinfer.com/), targeting real world Android applications,
 such as PocketHub, Wikipedia Android app, DuckDuckGo and k-9 mail client. 
-During the tutorial, one of the students, Lorenzo Paoliani, ran infer on ConnectBot, an SSH client for Android, 
+During the tutorial, one of the students, Lorenzo Paoliani, ran Infer on ConnectBot, an SSH client for Android, 
 and found several null dereference bugs. He reported this on github and submitted a pull request for fixing this problem, which has been accepted and now merged.
 
 For more details and slides, see the [Infer Lab 2016](https://psvg.doc.ic.ac.uk/teaching/InferLab.html) page.
\ No newline at end of file