diff --git a/teaching/InferLab.md b/teaching/InferLab.md
index 395832b68197e3cf05dbcb1a72882a3002a7c7a4..ee7ff02d81bd60075b408d26092d830199094eb7 100644
--- a/teaching/InferLab.md
+++ b/teaching/InferLab.md
@@ -32,7 +32,7 @@ Jules Villard, Software Engineer at Facebook, gave a tutorial on bi-abduction,
 based on the [slides](/teaching/Bi-Abduction-slides-Sutherland.pdf) that he developed together with Daiva NaudÅ¾iÅ«nienÄ— whilst 
 a Post-Doc at Imperial College London. 
 
-![Infer Lab](/images/images/Infer-lab-2.jpg)
+![Infer Lab](/images/images/Infer-lab-2-small.jpg)
 
 Peter, Jules and the Imperial team then showed students at the lab how to use Infer on real worl applications. During the tutorial, one of the students, 
 Lorenzo Paoliani, ran Infer on [ConnectBot](https://play.google.com/store/apps/details?id=org.connectbot&hl=en_GB), an SSH client for Android, and found several null dereference bugs. He reported this on  github and submitted