diff --git a/library/hott/equiv_precomp.lean b/library/hott/equiv_precomp.lean
index df4321def..ee378ba5f 100644
--- a/library/hott/equiv_precomp.lean
+++ b/library/hott/equiv_precomp.lean
@@ -1,6 +1,6 @@
--- Copyright (c) 2014 Microsoft Corporation. All rights reserved.
+-- Copyright (c) 2014 Jakob von Raumer. All rights reserved.
 -- Released under Apache 2.0 license as described in the file LICENSE.
--- Author: Jeremy Avigad, Jakob von Raumer
+-- Author: Jakob von Raumer
 -- Ported from Coq HoTT
 import .equiv .funext
 open path function