diff --git a/src/plugins/e-acsl/doc/Changelog b/src/plugins/e-acsl/doc/Changelog
index aeb4c51e66f495ae60b3f48b0758a7d16fe1d60e..b080ed4c2a5a8b2c1632a6076814833e951b74ae 100644
--- a/src/plugins/e-acsl/doc/Changelog
+++ b/src/plugins/e-acsl/doc/Changelog
@@ -21,7 +21,7 @@
 -  E-ACSL       [2017/05/29] Add --fail-with-code option to e-acsl.gcc.sh
 -  E-ACSL       [2017/05/19] Add --temporal option to e-acsl.gcc.sh
 -  E-ACSL       [2017/05/19] New detection of temporal errors in E-ACSL
-	        (disabled by default)
+	        through -e-acsl-temporal-validity (disabled by default)
 -  E-ACSL       [2017/03/26] Add --weak-validity option to e-acsl.gcc.sh
 -  E-ACSL       [2017/03/26] Add --rt-verbose option to e-acsl.gcc.sh
 -  E-ACSL       [2017/03/26] Add --keep-going option to e-acsl.gcc.sh allowing