Update 2016-11-14-inferlab.md

_posts/2016-11-14-inferlab.md

@@ -6,16 +6,15 @@ The [Separation Logic](https://psvg.doc.ic.ac.uk/teaching/separationlogic.html)
 an automatic verification tool based on separation logic, developed at [Facebook](https://www.facebook.com/inferstaticanalyzer/) 
 where it is used every day to verify millions of lines of code.
 
-![Infer Lab](/images/images/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, 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,
+the Imperial team then 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, 
-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.
+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