diff --git a/src/SUMMARY.md b/src/SUMMARY.md
index 213a645a..9308b7d5 100644
--- a/src/SUMMARY.md
+++ b/src/SUMMARY.md
@@ -38,12 +38,12 @@
       - [Goals and clauses](./traits/goals-and-clauses.md)
       - [Equality and associated types](./traits/associated-types.md)
       - [Implied bounds](./traits/implied-bounds.md)
+      - [Well-formedness checking](./traits/wf.md)
       - [Region constraints](./traits/regions.md)
+      - [The lowering module in rustc](./traits/lowering-module.md)
+      - [Lowering rules](./traits/lowering-rules.md)
     - [Canonical queries](./traits/canonical-queries.md)
       - [Canonicalization](./traits/canonicalization.md)
-    - [Lowering rules](./traits/lowering-rules.md)
-      - [The lowering module in rustc](./traits/lowering-module.md)
-    - [Well-formedness checking](./traits/wf.md)
     - [The SLG solver](./traits/slg.md)
     - [An Overview of Chalk](./traits/chalk-overview.md)
     - [Bibliography](./traits/bibliography.md)