diff --git a/src/plugins/e-acsl/share/e-acsl/e_acsl.h b/src/plugins/e-acsl/share/e-acsl/e_acsl.h
index e8ebfabb6f68766b3b355ba76df98cc8746d1b86..1fb83eff4c987d8f4ead6f258ff7aa67bf86f6d6 100644
--- a/src/plugins/e-acsl/share/e-acsl/e_acsl.h
+++ b/src/plugins/e-acsl/share/e-acsl/e_acsl.h
@@ -22,7 +22,7 @@
 
 /*! ***********************************************************************
  * \file  e_acsl.h
- * \brief E-ACSL Public API for functionality shared by all memory models
+ * \brief E-ACSL Public API independent of memory models
  ***************************************************************************/
 
 #ifndef E_ACSL