diff --git a/_posts/2016-11-14-inferlab.md b/_posts/2016-11-14-inferlab.md
index 03298ce0f348ae610623fda3c1beed23d039c553..76657c2e441dce5768c1eec81bc83797a6f820a7 100644
--- a/_posts/2016-11-14-inferlab.md
+++ b/_posts/2016-11-14-inferlab.md
@@ -6,7 +6,7 @@ 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/posts/Infer-lab-1.jpg)
+![Infer Lab](/images/images/Infer-lab-3-small.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.