diff --git a/teaching/InferLab.md b/teaching/InferLab.md
index 587f4143465b7da726bdc43a08170e04bb1e98ad..c80f4609ee9e127ce03a6d6d4f6945ec582b11b8 100644
--- a/teaching/InferLab.md
+++ b/teaching/InferLab.md
@@ -13,7 +13,7 @@ developed by a team led by Peter O’Hearn. At [Facebook](https://www.facebook.c
 This was part of the [Separation Logic](https://psvg.doc.ic.ac.uk/teaching/separationlogic.html) 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](https://www.doc.ic.ac.uk/~jvillar1/), Software Engineer, gave a tutorial on how to use Infer. 
+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:
 
  - [PocketHub](https://github.com/pockethub/PocketHub)