diff --git a/src/plugins/e-acsl/doc/doxygen/doxygen.cfg.in b/src/plugins/e-acsl/doc/doxygen/doxygen.cfg.in
index 857b0bd7ea64dfa7af28bb45888b07bbb0a94542..5d8a49c0b4e4c89582bfc092b04b6981d3bc8171 100644
--- a/src/plugins/e-acsl/doc/doxygen/doxygen.cfg.in
+++ b/src/plugins/e-acsl/doc/doxygen/doxygen.cfg.in
@@ -17,7 +17,7 @@
 # The PROJECT_NAME tag is a single word (or a sequence of words surrounded
 # by quotes) that should identify the project.
 
-PROJECT_NAME           = E-ACSL Runtime Library
+PROJECT_NAME           = "E-ACSL Runtime Library"
 
 # The PROJECT_NUMBER tag can be used to enter a project or revision number.
 # This could be handy for archiving the generated documentation or