diff --git a/fv/specs/AccessManager.spec b/fv/specs/AccessManager.spec
index def7ced1d08..39f24765194 100644
--- a/fv/specs/AccessManager.spec
+++ b/fv/specs/AccessManager.spec
@@ -337,7 +337,7 @@ rule getAccessChangeCall(uint64 roleId, address account) {
     // arbitrary function call
     method f; calldataarg args; f(e, args);
 
-    // values before
+    // values after
     mathint getAccess1After = getAccess_since(e, roleId, account);
     mathint getAccess2After = getAccess_currentDelay(e, roleId, account);
     mathint getAccess3After = getAccess_pendingDelay(e, roleId, account);