diff --git a/about/design_goals.html b/about/design_goals.html
index 10d090f..2579482 100644
--- a/about/design_goals.html
+++ b/about/design_goals.html
@@ -84,8 +84,8 @@
Running
Processes
- Definitions
Principles
+ Definitions
Skunk
Doobie
diff --git a/about/features.html b/about/features.html
index 2d35f59..6310d2c 100644
--- a/about/features.html
+++ b/about/features.html
@@ -84,8 +84,8 @@
Running
Processes
- Definitions
Principles
+ Definitions
Skunk
Doobie
diff --git a/backends/doobie.html b/backends/doobie.html
index fa0cc5f..2d98bcd 100644
--- a/backends/doobie.html
+++ b/backends/doobie.html
@@ -84,8 +84,8 @@
Running
Processes
- Definitions
Principles
+ Definitions
Skunk
Doobie
diff --git a/backends/skunk.html b/backends/skunk.html
index a63503b..f70d7ce 100644
--- a/backends/skunk.html
+++ b/backends/skunk.html
@@ -84,8 +84,8 @@
Running
Processes
- Definitions
Principles
+ Definitions
Skunk
Doobie
diff --git a/index.html b/index.html
index 7639a98..d950a97 100644
--- a/index.html
+++ b/index.html
@@ -40,7 +40,7 @@ Event-driven automatons for Scala, Scala.js and scala native