diff --git a/doc/CREDITS.txt b/doc/CREDITS.txt
index 7b96116048bedaa13ff5148dd3d34cdada41e3c1..356229ae9d9a48657b19ca979927ab20c42e764b 100644
--- a/doc/CREDITS.txt
+++ b/doc/CREDITS.txt
@@ -135,4 +135,4 @@ Dechaume, Jose Paulo Moitinho de Almeida, Thomas Pinchard, Corrado Chisari, Axel
 Hackbarth, Peter Wainwright, Jiri Hnidek, Thierry Thomas, Konstantinos Poulios,
 Laurent Van Miegroet, Shahrokh Ghavamian, Geordie McBain, Jose Paulo Moitinho de
 Almeida, Guillaume Demesy, Wendy Merks-Swolfs, Cosmin Stefan Deaconu, Nigel
-Nunn, Serban Georgescu, Julien Troufflard.
+Nunn, Serban Georgescu, Julien Troufflard, Michele Mocciola.