diff --git a/docs/cloud-agents.md b/docs/cloud-agents.md
index afa0a10..0665e61 100644
--- a/docs/cloud-agents.md
+++ b/docs/cloud-agents.md
@@ -1,8 +1,8 @@
-# Project CentOS boot tier-1 and cloud agents
+---
+nav_order: 4
+---
 
----
-nav_order: 2
----
+# Project CentOS boot tier-1 and cloud agents
 
 The tier-0 and tier-1 images today do not contain any special
 hypervisor-specific agents.  The following specifically are not included
diff --git a/docs/coreos.md b/docs/coreos.md
index 1044f82..20da8fe 100644
--- a/docs/coreos.md
+++ b/docs/coreos.md
@@ -1,8 +1,8 @@
-# Relationship with CoreOS
+---
+nav_order: 2
+---
 
----
-nav_order: 5
----
+# Relationship with CoreOS
 
 The CoreOS Container Linux project was very successful, spawning multiple projects
 and derivatives that continue to see widespread use today.
diff --git a/docs/install.md b/docs/install.md
index 3151654..410f257 100644
--- a/docs/install.md
+++ b/docs/install.md
@@ -1,9 +1,9 @@
-# Trying out development builds
-
 ---
 nav_order: 2
 ---
 
+# Trying out development builds
+
 ## Operating system state (users, ssh keys)
 
 It's absolutely crucial to understand that the container image *is* the