diff --git a/LICENCE b/LICENCE
index 75026ebb47..df31f24985 100644
--- a/LICENCE
+++ b/LICENCE
@@ -7,7 +7,8 @@ Eric Mertens, Joachim Breitner, Liyang Hu, Noam Zeilberger, Érdi Gergő,
 Stevan Andjelkovic, Helmut Grohne, Guilhem Moulin, Noriyuki Ohkawa,
 Evgeny Kotelnikov, James Chapman, Wen Kokke, Matthew Daggitt, Jason Hu,
 Sandro Stucki, Milo Turner, Zack Grannan, Lex van der Stoep,
-Jacques Carette, James McKinna and some anonymous contributors.
+Jacques Carette, James McKinna, Guillaume Allais
+and some anonymous contributors.
 
 Permission is hereby granted, free of charge, to any person obtaining a
 copy of this software and associated documentation files (the