diff --git a/CHANGES/v2.5.md b/CHANGES/v2.5.md
index 840af4453a69a44f8f41b4e8070c9c3def39d51b..bc4be58c1dc58241ee7f0315c093546d087914b6 100644
--- a/CHANGES/v2.5.md
+++ b/CHANGES/v2.5.md
@@ -97,7 +97,8 @@ Changes from version 2.4 which are relevant for developers:
   `github.com/coverage-branch` (see \issue{348}). In addition, coverage for third-party libraries included in PLUMED
   is reported as well.
 - It is not possible anymore to use `make install prefix=/path`. Prefix can only be changed during `./configure` (see \issue{332}).
-- Exception class has been rewritten to allow more extensive messaged.
+- Exception class has been rewritten to allow more extensive messages. Now also function name is shown.
+- On linux, library is linked with `-Bsymbolic`.
 - A small number of header files is installed
 - When launching `plumed`, flags `--no-mpi` and `--mpi` can appear multiple times. The last appearence is the effective one.
 - Internal blas and lapack libraries updated to gromacs 2018.