diff --git a/teaching/InferLab.md b/teaching/InferLab.md
index a8b2b6157d62be60d44dd409cbe8ee06fbb32a3f..da14602f92270c5a93208a7d1b10a1eab38f7345 100644
--- a/teaching/InferLab.md
+++ b/teaching/InferLab.md
@@ -2,7 +2,7 @@
 title: Infer Lab 
 project_id: sl
 menu: true
-parent_menu: Teaching
+parent_menu: 
 menu_order: 5
 ---
 A team from Facebook came run a lab on [Infer](http://fbinfer.com/), an industrial verification tool developed at Facebook by a team led by [Peter O’Hearn](http://www.pl-enthusiast.net/2015/09/15/facebooks-peter-ohearn-on-programming-languages/)