diff --git a/teaching/InferLab.md b/teaching/InferLab.md
index bc833579d609a2daa4a12558f9f7f56cdf3c6279..bb9e9b063df8ea693c8f3c8078f38a68539bb612 100644
--- a/teaching/InferLab.md
+++ b/teaching/InferLab.md
@@ -28,7 +28,7 @@ gave an overview of the use of Infer at Facebook. Peter, Jules and the Imperial
  - [k-9 mail client](https://github.com/k9mail/k-9)
  
 During the tutorial, one of the students, Lorenzo Paoliani, ran infer on ConnectBot, an SSH client for Android, and found several null dereference bugs. 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
+You can see Lorenzo’s [pull request here.](https://github.com/connectbot/connectbot/pull/448)
 
 To follow the Infer team, check their [blog](http://fbinfer.com/blog/) or [Twitter](https://twitter.com/fbinfer)