diff --git a/headers/header_spec.txt b/headers/header_spec.txt
index 2be7f72a6f4d3f782c010aa8775235e2dc469548..5d791ad40ee2ce6301155c602be4b5fb34761a11 100644
--- a/headers/header_spec.txt
+++ b/headers/header_spec.txt
@@ -1208,8 +1208,8 @@ src/plugins/value/Changelog_non_free: .ignore
 src/plugins/value/Eva.mli: CEA_LGPL_OR_PROPRIETARY
 src/plugins/value/alarmset.ml: CEA_LGPL_OR_PROPRIETARY
 src/plugins/value/alarmset.mli: CEA_LGPL_OR_PROPRIETARY
-src/plugins/value/api/eva_requests.ml: CEA_LGPL_OR_PROPRIETARY
-src/plugins/value/api/eva_requests.mli: CEA_LGPL_OR_PROPRIETARY
+src/plugins/value/api/general_requests.ml: CEA_LGPL_OR_PROPRIETARY
+src/plugins/value/api/general_requests.mli: CEA_LGPL_OR_PROPRIETARY
 src/plugins/value/domains/abstract_domain.mli: CEA_LGPL_OR_PROPRIETARY
 src/plugins/value/domains/printer_domain.ml: CEA_LGPL_OR_PROPRIETARY
 src/plugins/value/domains/printer_domain.mli: CEA_LGPL_OR_PROPRIETARY