diff --git a/src/SUMMARY.md b/src/SUMMARY.md
index ad8a8262..e9e2ffae 100644
--- a/src/SUMMARY.md
+++ b/src/SUMMARY.md
@@ -53,9 +53,9 @@
     - [MIR construction](./mir/construction.md)
     - [MIR visitor and traversal](./mir/visitor.md)
     - [MIR passes: getting the MIR for a function](./mir/passes.md)
-    - [MIR borrowck](./mir/borrowck.md)
-      - [MIR-based region checking (NLL)](./mir/regionck.md)
     - [MIR optimizations](./mir/optimizations.md)
+- [The borrow checker](./borrow_check.md)
+    - [Region inference](./borrow_check/region_inference.md)
 - [Constant evaluation](./const-eval.md)
     - [miri const evaluator](./miri.md)
 - [Parameter Environments](./param_env.md)
diff --git a/src/mir/borrowck.md b/src/borrow_check.md
similarity index 100%
rename from src/mir/borrowck.md
rename to src/borrow_check.md
diff --git a/src/mir/regionck.md b/src/borrow_check/region_inference.md
similarity index 100%
rename from src/mir/regionck.md
rename to src/borrow_check/region_inference.md