diff --git a/docs/operation-log.md b/docs/operation-log.md
index 56d63ef61..3ca8e049f 100644
--- a/docs/operation-log.md
+++ b/docs/operation-log.md
@@ -41,7 +41,7 @@ e.g. `jj log` will indicate that the change has diverged.
 
 ## Loading an old version of the repo
 
-The top-level `--at-operation/--at-top` option allows you to load the repo at a
+The top-level `--at-operation/--at-op` option allows you to load the repo at a
 specific operation. This can be useful for understanding how your repo got into
 the current state. It can be even more useful for understanding why someone
 else's repo got into its current state.