diff --git a/Leanpkg2/Manifest.lean b/Leanpkg2/Manifest.lean
index 3efa16cd6e..d052ff79b3 100644
--- a/Leanpkg2/Manifest.lean
+++ b/Leanpkg2/Manifest.lean
@@ -1,7 +1,7 @@
 /-
 Copyright (c) 2017 Microsoft Corporation. All rights reserved.
 Released under Apache 2.0 license as described in the file LICENSE.
-Authors: Gabriel Ebner, Sebastian Ullrich
+Authors: Gabriel Ebner, Sebastian Ullrich, Mac Malone
 -/
 import Leanpkg2.Toml
 import Leanpkg2.LeanVersion
diff --git a/Leanpkg2/Resolve.lean b/Leanpkg2/Resolve.lean
index a127adb605..79a6d21cee 100644
--- a/Leanpkg2/Resolve.lean
+++ b/Leanpkg2/Resolve.lean
@@ -1,7 +1,7 @@
 /-
 Copyright (c) 2017 Microsoft Corporation. All rights reserved.
 Released under Apache 2.0 license as described in the file LICENSE.
-Authors: Gabriel Ebner, Sebastian Ullrich
+Authors: Gabriel Ebner, Sebastian Ullrich, Mac Malone
 -/
 import Leanpkg2.Manifest
 import Leanpkg2.Proc