diff --git a/teaching/InferLab.md b/teaching/InferLab.md
index a480358b30e7f7876eb3aa048fe175a7d8c73fc8..821975f640510af863ce742a0356f92f6353cdd7 100644
--- a/teaching/InferLab.md
+++ b/teaching/InferLab.md
@@ -1,5 +1,5 @@
 ---
-title: Separation Logic 
+title: Infer Lab 
 project_id: sl
 menu: true
 parent_menu: Teaching