From 5c366a4379bd4936360f373dcfca7cc263361adc Mon Sep 17 00:00:00 2001
From: Gereon Kremer <gereon@certora.com>
Date: Thu, 19 Oct 2023 11:14:46 +0200
Subject: [PATCH] Update expr.md

---
 docs/cvl/expr.md | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/docs/cvl/expr.md b/docs/cvl/expr.md
index 73402e27..37d36c56 100644
--- a/docs/cvl/expr.md
+++ b/docs/cvl/expr.md
@@ -503,7 +503,8 @@ Attempting to access more complex types will yield a type checking error. For ex
 an entire array with `currentContract.myState[0].bar[addr]` will fail.
 
 ```{note}
-Although entire arrays cannot be accessed, the _length_ of the dynamic arrays can be accessed with `.length`, e.g., `currentContract.myState[0].bar[addr].length`.
+Although entire arrays cannot be accessed, the _length_ or the _number of elements_ of the dynamic arrays
+can be accessed with `.length`, e.g., `currentContract.myState[0].bar[addr].length`.
 ```
 
 ```{warning}