diff --git a/.header b/.header
new file mode 100644
index 00000000..fe8863b5
--- /dev/null
+++ b/.header
@@ -0,0 +1,5 @@
+(*
+MSAT is free software, using the Apache license, see file LICENSE
+Copyright 2014 Guillaume Bury
+Copyright 2014 Simon Cruanes
+*)
diff --git a/opam b/opam
index 5af72ff0..a31bf3dd 100644
--- a/opam
+++ b/opam
@@ -1,7 +1,7 @@
 opam-version: "1.2"
 license: "Apache"
 version: "dev"
-author: ["Sylvain Conchon" "Alain Mebsout" "Stephane Lecuyer"]
+author: ["Sylvain Conchon" "Alain Mebsout" "Stephane Lecuyer" "Simon Cruanes" "Guillaume Bury"]
 maintainer: ["guillaume.bury@gmail.com" "simon.cruanes@inria.fr"]
 build: [
     [make "all"]
diff --git a/sat/res.ml b/sat/res.ml
index ae10ab5b..c0b9daa9 100644
--- a/sat/res.ml
+++ b/sat/res.ml
@@ -1,4 +1,8 @@
-(* Copyright 2014 Guillaume Bury *)
+(*
+MSAT is free software, using the Apache license, see file LICENSE
+Copyright 2014 Guillaume Bury
+Copyright 2014 Simon Cruanes
+*)
 
 module type S = Res_intf.S
 
diff --git a/sat/res.mli b/sat/res.mli
index 4df90fc7..a957e1e4 100644
--- a/sat/res.mli
+++ b/sat/res.mli
@@ -1,4 +1,8 @@
-(* Copyright 2014 Guillaume Bury *)
+(*
+MSAT is free software, using the Apache license, see file LICENSE
+Copyright 2014 Guillaume Bury
+Copyright 2014 Simon Cruanes
+*)
 
 module type S = Res_intf.S