diff --git a/doc/developer/developer.tex b/doc/developer/developer.tex
index c9a1b59768020b27524174a2800b72819d049d1b..af1cae1b8bbc1809deaef9e64c559332154206f1 100644
--- a/doc/developer/developer.tex
+++ b/doc/developer/developer.tex
@@ -103,9 +103,9 @@ described here may still evolve in the future.
 
 We gratefully thank all the people who contributed to this document:
 Michele Alberti,
-Allan Blanchard,
 Gergö Barany,
 Patrick Baudin,
+Allan Blanchard,
 Richard Bonichon,
 David B\"uhler,
 Pascal Cuoq,