diff --git a/teaching/InferLab.md b/teaching/InferLab.md
index 83b1d392f97852c30d07fd1261b3a4997b4d99b8..b9dad551c4206ad3e5b2e7760e87542826f03007 100644
--- a/teaching/InferLab.md
+++ b/teaching/InferLab.md
@@ -36,7 +36,7 @@ a Post-Doc at Imperial College London.
 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 
+an SSH client for Android, and found a resource leak bug. He reported this on  github and submitted 
 a pull request for fixing this problem, which has been accepted and now merged.
 You can see Lorenzo’s [pull request here.](https://github.com/connectbot/connectbot/pull/448)