diff --git a/src/SUMMARY.md b/src/SUMMARY.md
index 0e983748..477af992 100644
--- a/src/SUMMARY.md
+++ b/src/SUMMARY.md
@@ -118,6 +118,7 @@
     - [Generic arguments](./generic_arguments.md)
     - [Constants in the type system](./constants.md)
     - [Bound vars and Parameters](./bound-vars-and-params.md)
+- [Parameter Environments](./param_env.md)
 - [Type inference](./type-inference.md)
 - [Trait solving](./traits/resolution.md)
     - [Early and Late Bound Parameter Definitions](./early-late-bound-summary.md)
@@ -168,7 +169,6 @@
         - [Closure constraints](./borrow_check/region_inference/closure_constraints.md)
         - [Error reporting](./borrow_check/region_inference/error_reporting.md)
     - [Two-phase-borrows](./borrow_check/two_phase_borrows.md)
-- [Parameter Environments](./param_env.md)
 - [Errors and Lints](diagnostics.md)
     - [Diagnostic and subdiagnostic structs](./diagnostics/diagnostic-structs.md)
     - [Translation](./diagnostics/translation.md)