diff --git a/src/api/dotnet/Properties/AssemblyInfo b/src/api/dotnet/Properties/AssemblyInfo
index ee0e3f354..001264e79 100644
--- a/src/api/dotnet/Properties/AssemblyInfo
+++ b/src/api/dotnet/Properties/AssemblyInfo
@@ -12,7 +12,7 @@ using System.Security.Permissions;
 [assembly: AssemblyConfiguration("")]
 [assembly: AssemblyCompany("Microsoft Corporation")]
 [assembly: AssemblyProduct("Z3")]
-[assembly: AssemblyCopyright("Copyright © Microsoft Corporation 2006")]
+[assembly: AssemblyCopyright("Copyright (C) 2006-2014 Microsoft Corporation")]
 [assembly: AssemblyTrademark("")]
 [assembly: AssemblyCulture("")]
 
diff --git a/src/api/ml/z3_theory_stubs.c b/src/api/ml/z3_theory_stubs.c
index d17a1790d..a48b94553 100644
--- a/src/api/ml/z3_theory_stubs.c
+++ b/src/api/ml/z3_theory_stubs.c
@@ -1,5 +1,5 @@
 /*++
-Copyright (c) 2010 Microsoft Corporation
+Copyright (c) Microsoft Corporation
 
 Module Name:
 
diff --git a/src/shell/main.cpp b/src/shell/main.cpp
index f23bc470c..0eb612f35 100644
--- a/src/shell/main.cpp
+++ b/src/shell/main.cpp
@@ -65,7 +65,7 @@ void display_usage() {
 #ifdef Z3GITHASH
     std::cout << " - build hashcode " << STRINGIZE_VALUE_OF(Z3GITHASH);
 #endif
-    std::cout << "]. (C) Copyright 2006-2013 Microsoft Corp.\n";
+    std::cout << "]. (C) Copyright 2006-2014 Microsoft Corp.\n";
     std::cout << "Usage: z3 [options] [-file:]file\n";
     std::cout << "\nInput format:\n";
     std::cout << "  -smt        use parser for SMT input format.\n";