diff --git a/_posts/2016-11-14-inferlab.md b/_posts/2016-11-14-inferlab.md
index aa42ac2f10d4fb3104ea03c11dfe249841ed1318..8869dcd36b5743c76c6cc383a5c9fa80c10d58c7 100644
--- a/_posts/2016-11-14-inferlab.md
+++ b/_posts/2016-11-14-inferlab.md
@@ -1,5 +1,5 @@
 ---
-title: Facebook runs lab on Infer, industrial verification tool
+title: Infer Lab, Facebook's industrial verification tool
 ---
 
 The [Separation Logic](https://psvg.doc.ic.ac.uk/teaching/separationlogic.html) course team ran a lab on Infer,