diff --git a/docs/src/SUMMARY.md b/docs/src/SUMMARY.md
index e58be0074..3659d4a66 100644
--- a/docs/src/SUMMARY.md
+++ b/docs/src/SUMMARY.md
@@ -23,10 +23,10 @@
             1. [steel/base](builtins/steel_base.md)
             2. [steel/constants](builtins/steel_constants.md)
             3. [steel/core/option](builtins/steel_core_option.md)
-            4. [steel/core/result](builtins/steel_core/result.md)
-            5. [steel/core/types](builtins/steel_core/types.md)
-            6. [steel/equality](builtins/steel_core/equality.md)
-            7. [steel/filesystem](builtins/steel_core/filesystem.md)
+            4. [steel/core/result](builtins/steel_core_result.md)
+            5. [steel/core/types](builtins/steel_core_types.md)
+            6. [steel/equality](builtins/steel_equality.md)
+            7. [steel/filesystem](builtins/steel_filesystem.md)
             8. [steel/hash](builtins/steel_hash.md)
             9. [steel/identity](builtins/steel_identity.md)
             10. [steel/io](builtins/steel_io.md)