diff --git a/research/concurrency.md b/research/concurrency.md
index 9a07d43528679e6a7767456f4e9b2524ce768ecb..49197776701b54f679a840e8d240e6b8ef7f1063 100644
--- a/research/concurrency.md
+++ b/research/concurrency.md
@@ -4,7 +4,6 @@ project_id: concurrency
 menu: true
 parent_menu: Research
 menu_order: 3
-sub_menu_order: 1
 ---
 
 We develop formal reasoning techniques for concurrent programs, with a
diff --git a/research/javascript.md b/research/javascript.md
index 7f2887a50e55cd08eae75fd88ec959efcdccb7be..dc0b2df44fa28c7c6abb9b1b736bbbc3aa93e9e1 100644
--- a/research/javascript.md
+++ b/research/javascript.md
@@ -4,7 +4,6 @@ project_id: web
 menu: true
 parent_menu: Research
 menu_order: 3
-sub_menu_order: 2
 ---
 
 We study the mechanised specification of the JavaScript language