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 cb580dc8e2867d46f30ad456ae30383b9e1a2738..e8ebfabb6f68766b3b355ba76df98cc8746d1b86 100644
--- a/src/plugins/e-acsl/share/e-acsl/e_acsl.h
+++ b/src/plugins/e-acsl/share/e-acsl/e_acsl.h
@@ -20,17 +20,17 @@
 /*                                                                        */
 /**************************************************************************/
 
-/************************/
-/* Standard C functions */
-/************************/
+/*! ***********************************************************************
+ * \file  e_acsl.h
+ * \brief E-ACSL Public API for functionality shared by all memory models
+ ***************************************************************************/
 
 #ifndef E_ACSL
 #define E_ACSL
 
-/*****************************/
-/* Dedicated E-ACSL function */
-/*****************************/
-
+/******************************/
+/* Dedicated E-ACSL assertion */
+/******************************/
 /*@ requires predicate != 0;
   @ assigns \nothing; */
 void __e_acsl_assert(int predicate,