diff --git a/docs/installation.md b/docs/installation.md
index a833ee3d4..f41e41903 100644
--- a/docs/installation.md
+++ b/docs/installation.md
@@ -522,10 +522,10 @@ on Linux continues to use its supported demo-launch route.
 
 Hopper lease directories must be readable and owned by the current user.
 REA validates and secures an opened directory before reserving a lease. If
-directory access fails, the error identifies the path and recovery steps;
-REA leaves its permissions unchanged. Check ownership and parent-directory
-access, then restore owner-only read, write, and search permissions (`0700`)
-on a directory you own before retrying.
+opening that directory fails with a permission error, the diagnostic identifies
+the path and recovery steps while leaving its permissions unchanged. Check
+ownership and parent-directory access, then restore owner-only read, write, and
+search permissions (`0700`) on a directory you own before retrying.
 
 On supported Linux distributions, approved setup verifies Hopper's official
 `.deb`, `.rpm`, or Arch package before invoking the native package manager.