diff --git a/docs/src/SUMMARY.md b/docs/src/SUMMARY.md
index 229fc63feca98080055b16b003244e86116aa49b..3eea2907dc5907ca806a41349a529843dbf608c4 100644
--- a/docs/src/SUMMARY.md
+++ b/docs/src/SUMMARY.md
@@ -22,7 +22,7 @@
 - [Collaboration](./collaboration.md)
 - [Tasks](./tasks.md)
 - [Remote Development](./remote-development.md)
-- [Repl](./repl.md)
+- [REPL](./repl.md)
 
 # Language Support