diff --git a/src/api/python/z3test.py b/src/api/python/z3test.py
index 9b894d7ad..38939cebf 100644
--- a/src/api/python/z3test.py
+++ b/src/api/python/z3test.py
@@ -1,3 +1,10 @@
+############################################
+# Copyright (c) 2012 Microsoft Corporation
+# 
+# Z3 Python interface
+#
+# Author: Leonardo de Moura (leonardo)
+############################################
 import z3, doctest
 
 r = doctest.testmod(z3)
diff --git a/src/api/python/z3types.py b/src/api/python/z3types.py
index e01b78238..44b19d33a 100644
--- a/src/api/python/z3types.py
+++ b/src/api/python/z3types.py
@@ -1,3 +1,11 @@
+############################################
+# Copyright (c) 2012 Microsoft Corporation
+# 
+# Z3 Python interface
+#
+# Author: Leonardo de Moura (leonardo)
+############################################
+
 import ctypes, z3core
 
 class Z3Exception(Exception):
diff --git a/src/api/python/z3util.py b/src/api/python/z3util.py
index e0e9aba32..38e406723 100644
--- a/src/api/python/z3util.py
+++ b/src/api/python/z3util.py
@@ -1,3 +1,10 @@
+############################################
+# Copyright (c) 2012 Microsoft Corporation
+# 
+# Z3 Python interface
+#
+# Author: Leonardo de Moura (leonardo)
+############################################
 """
 Usage:  
 import common_z3 as CM_Z3