diff --git a/AUTHORS b/AUTHORS
index 1c0273fb0..f5fcd3265 100644
--- a/AUTHORS
+++ b/AUTHORS
@@ -1,7 +1,7 @@
 The main authors and developers of Boolector are:
 
-  Robert Brummayer, Johannes Kepler University Linz.
   Armin Biere, Johannes Kepler University Linz.
+  Robert Brummayer, Johannes Kepler University Linz.
   Aina Niemetz, Johannes Kepler University Linz, Stanford University.
   Mathias Preiner, Johannes Kepler University Linz, Stanford University.
 
diff --git a/COPYING b/COPYING
index 1d3910cc4..166e6bd8d 100644
--- a/COPYING
+++ b/COPYING
@@ -1,8 +1,8 @@
 Boolector is a Satisfiability Modulo Theories (SMT) Solver for bit-vectors,
 arrays and uninterpreted functions.
 
-Copyright (c) 2007-2009 Robert Brummayer.
 Copyright (c) 2007-2018 Armin Biere.
+Copyright (c) 2007-2009 Robert Brummayer.
 Copyright (c) 2012-2018 Aina Niemetz.
 Copyright (c) 2012-2018 Mathias Preiner.