[changelog] minor improvement

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