diff --git a/examples/c++/example.cpp b/examples/c++/example.cpp
index c20800f25..660db61d8 100644
--- a/examples/c++/example.cpp
+++ b/examples/c++/example.cpp
@@ -1,3 +1,9 @@
+
+/*++
+Copyright (c) 2015 Microsoft Corporation
+
+--*/
+
 #include<vector>
 #include"z3++.h"
 
diff --git a/examples/c/test_capi.c b/examples/c/test_capi.c
index c0ea70453..cb63fe623 100644
--- a/examples/c/test_capi.c
+++ b/examples/c/test_capi.c
@@ -1,3 +1,9 @@
+
+/*++
+Copyright (c) 2015 Microsoft Corporation
+
+--*/
+
 #include<stdio.h>
 #include<stdlib.h>
 #include<stdarg.h>
diff --git a/examples/interp/iz3.cpp b/examples/interp/iz3.cpp
index 6d631ebc9..9f55c1ec6 100755
--- a/examples/interp/iz3.cpp
+++ b/examples/interp/iz3.cpp
@@ -1,3 +1,9 @@
+
+/*++
+Copyright (c) 2015 Microsoft Corporation
+
+--*/
+
 #include <stdio.h>
 #include <stdlib.h>
 #include <iostream>
diff --git a/examples/maxsat/maxsat.c b/examples/maxsat/maxsat.c
index 5ca707811..f04c25e2c 100644
--- a/examples/maxsat/maxsat.c
+++ b/examples/maxsat/maxsat.c
@@ -1,3 +1,9 @@
+
+/*++
+Copyright (c) 2015 Microsoft Corporation
+
+--*/
+
 /*
   Simple MAXSAT solver on top of the Z3 API.
 */
diff --git a/examples/tptp/tptp5.cpp b/examples/tptp/tptp5.cpp
index 3b8d2364d..0ed92801d 100644
--- a/examples/tptp/tptp5.cpp
+++ b/examples/tptp/tptp5.cpp
@@ -1,3 +1,9 @@
+
+/*++
+Copyright (c) 2015 Microsoft Corporation
+
+--*/
+
 #include <string>
 #include <cstring>
 #include <list>
diff --git a/examples/tptp/tptp5.h b/examples/tptp/tptp5.h
index 69fe79b28..948664243 100644
--- a/examples/tptp/tptp5.h
+++ b/examples/tptp/tptp5.h
@@ -1,3 +1,9 @@
+
+/*++
+Copyright (c) 2015 Microsoft Corporation
+
+--*/
+
 #ifndef TPTP5_H_
 #define TPTP5_H_
 
diff --git a/examples/tptp/tptp5.lex.cpp b/examples/tptp/tptp5.lex.cpp
index 639d92750..afeebb30a 100644
--- a/examples/tptp/tptp5.lex.cpp
+++ b/examples/tptp/tptp5.lex.cpp
@@ -1,3 +1,9 @@
+
+/*++
+Copyright (c) 2015 Microsoft Corporation
+
+--*/
+
 #line 2 "tptp5.lex.cpp"
 
 #line 4 "tptp5.lex.cpp"
diff --git a/scripts/mk_copyright.py b/scripts/mk_copyright.py
index f7a4cb8fd..5ac185de0 100644
--- a/scripts/mk_copyright.py
+++ b/scripts/mk_copyright.py
@@ -1,3 +1,5 @@
+# Copyright (c) 2015 Microsoft Corporation
+
 import os
 import re
 
@@ -42,13 +44,14 @@ def add_cr(file):
     ous.close()
     os.system("move %s %s" % (tmp, file))
     
-def add_missing_cr():
-    for root, dirs, files in os.walk('src'):
+def add_missing_cr(dir):
+    for root, dirs, files in os.walk(dir):
 	for f in files:
-	    if f.endswith('.cpp') or f.endswith('.h'):
+	    if f.endswith('.cpp') or f.endswith('.h') or f.endswith('.c'):
 		path = "%s\\%s" % (root, f)
 		if not has_cr(path):
 		    print "Missing CR for %s" % path
 		    add_cr(path)
 
-add_missing_cr()
+add_missing_cr('src')
+add_missing_cr('examples')
diff --git a/scripts/trackall.sh b/scripts/trackall.sh
index d8351af24..5e637100d 100755
--- a/scripts/trackall.sh
+++ b/scripts/trackall.sh
@@ -1,7 +1,9 @@
 #!/bin/bash
 
+# Copyright (c) 2015 Microsoft Corporation
 # Script for "cloning" (and tracking) all branches at codeplex.
 # On Windows, this script must be executed in the "git Bash" console.
+
 for branch in `git branch -a | grep remotes | grep -v HEAD | grep -v master`; do
     git branch --track ${branch##*/} $branch
 done
diff --git a/src/api/ml/z3_stubs.c b/src/api/ml/z3_stubs.c
index 6286e94c7..7222158bb 100644
--- a/src/api/ml/z3_stubs.c
+++ b/src/api/ml/z3_stubs.c
@@ -1,3 +1,9 @@
+
+/*++
+Copyright (c) 2015 Microsoft Corporation
+
+--*/
+
 /* File generated from z3.idl */
 
 #include <stddef.h>