diff --git a/documentation/linter.md b/documentation/linter.md
index 79ee603d..4012cb97 100644
--- a/documentation/linter.md
+++ b/documentation/linter.md
@@ -289,7 +289,7 @@ type T {
 }
 
 checks T {
-  len(x) >= 0 implies x[3] > 0, "too small"
+  len(x) >= 3 implies x[3] > 0, "too small"
 }
 ```