Update InferLab.md

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)