diff --git a/src/plugins/e-acsl/examples/ensuresec/json-output/ensuresec_ee.c b/src/plugins/e-acsl/examples/ensuresec/json-output/ensuresec_ee.c
index 310c49c1c6cad0df52d8a1f26deee6c2b4abad93..783b66df8b4fb57fd4d65f7dfdd73b21878b1187 100644
--- a/src/plugins/e-acsl/examples/ensuresec/json-output/ensuresec_ee.c
+++ b/src/plugins/e-acsl/examples/ensuresec/json-output/ensuresec_ee.c
@@ -89,7 +89,7 @@ static void *read_value(void *arg) {
     usleep(100);
   } while (!idx_written);
 
-  // Acquire a read lock so that the specification can check `writte[idx]` and
+  // Acquire a read lock so that the specification can check `written[idx]` and
   // `values[idx]`.
   pthread_rwlock_rdlock(lock);
   /*@ requires written[idx] == 1;