diff --git a/docs/operation-log.md b/docs/operation-log.md
index dc41f32e6..5f1315ec9 100644
--- a/docs/operation-log.md
+++ b/docs/operation-log.md
@@ -26,7 +26,7 @@ The following operators are supported:
 * `x+`: Children of `x`
 
 
-## divergent operations
+## Divergent operations
 
 One benefit of the operation log (and the reason for its creation) is that it
 allows lock-free concurrency -- you can run concurrent `jj` commands without