diff --git a/Mathlib/Data/Real/Pi/Leibniz.lean b/Mathlib/Data/Real/Pi/Leibniz.lean
index d53fd53c14572..1cc31a1038349 100644
--- a/Mathlib/Data/Real/Pi/Leibniz.lean
+++ b/Mathlib/Data/Real/Pi/Leibniz.lean
@@ -1,7 +1,7 @@
 /-
 Copyright (c) 2020 Benjamin Davidson. All rights reserved.
 Released under Apache 2.0 license as described in the file LICENSE.
-Authors: Benjamin Davidson
+Authors: Benjamin Davidson, Jeremy Tan
 -/
 import Mathlib.Analysis.Complex.AbelLimit
 import Mathlib.Analysis.SpecialFunctions.Complex.Arctan