Update InferLab.md

teaching/InferLab.md

@@ -19,8 +19,7 @@ Infer was [open sourced](https://code.facebook.com/posts/1648953042007882/open-s
 
 
 [Peter O’Hearn](http://www.pl-enthusiast.net/2015/09/15/facebooks-peter-ohearn-on-programming-languages/), 
-Engineering Manager, and [Jules Villard](https://www.doc.ic.ac.uk/~jvillar1/), Software Engineer at Facebook, gave a tutorial on how to use Infer. 
-The tutorial targeted real world Android applications, such as:
+Engineering Manager, and [Jules Villard](https://www.doc.ic.ac.uk/~jvillar1/), Software Engineer at Facebook, gave a tutorial on how to use Infer, targeting real world Android applications, such as:
 
  - [PocketHub](https://github.com/pockethub/PocketHub)
  - [Wikipedia Android app](https://github.com/wikimedia/apps-android-wikipedia)