Update InferLab.md

teaching/InferLab.md

@@ -24,11 +24,11 @@ The tutorial targeted real world Android applications, such as:
  - [DuckDuckGo](https://github.com/duckduckgo/duckduckgo)
  - [k-9 mail client](https://github.com/k9mail/k-9)
  
-As well as Facebook, Infer is used by Instagram, kiuwan, oculus, Spotify, UBER, WhatsApp, Marks and Spencer, and Sky. Infer was [open sourced](https://code.facebook.com/posts/1648953042007882/open-sourcing-facebook-infer-identify-bugs-before-you-ship/) in June 2015 
-
+As well as Facebook, Infer is used by Instagram, kiuwan, oculus, Spotify, UBER, WhatsApp, Marks and Spencer, and Sky. 
+Infer was [open sourced](https://code.facebook.com/posts/1648953042007882/open-sourcing-facebook-infer-identify-bugs-before-you-ship/) in June 2015.
 You can find the slides to the tutorial [here](https://gitlab.doc.ic.ac.uk/resource-reasoning/psvg.doc.ic.ac.uk/blob/master/teaching/Bi-Abduction-slides-Sutherland.pdf)
- ![Infer Lab](/images/images/Infer-lab-2.jpg)
+![Infer Lab](/images/images/Infer-lab-2.jpg)
  
-You can follow the Infer team on their [blog](http://fbinfer.com/blog/) and [Twitter](https://twitter.com/fbinfer) 
+To follow the Infer team, check their [blog](http://fbinfer.com/blog/) or [Twitter](https://twitter.com/fbinfer) 
 
 ![Infer](/images/images/infer-small.png)