diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md
index 1fe3d2c0993a..67e74123f50e 100644
--- a/CONTRIBUTING.md
+++ b/CONTRIBUTING.md
@@ -80,11 +80,7 @@ For every pull request, we aim to promptly either merge it or say why
 it's not yet ready; if you go a few days without a reply, please feel
 free to ping the thread by adding a new comment.
 
-At present the core developers are (alphabetically):
-* David Fisher (@ddfisher)
-* Jukka Lehtosalo (@JukkaL)
-* Greg Price (@gnprice)
-* Guido van Rossum (@gvanrossum)
+For a list of mypy core developers, see the file [CREDITS](CREDITS).
 
 
 Preparing Changes
diff --git a/CREDITS b/CREDITS
index 171e54d03c8f..e00b9d6335cc 100644
--- a/CREDITS
+++ b/CREDITS
@@ -7,13 +7,18 @@ https://github.com/python/mypy/commits/master
 For lists of contributors per mypy release (including typeshed) see
 the release blog posts at https://mypy-lang.blogspot.com/.
 
-Mypy team:
+Dropbox core team:
 
   Jukka Lehtosalo <jukka.lehtosalo@iki.fi>
   Guido van Rossum <guido@python.org>
   Ivan Levkivskyi
   Michael J. Sullivan
 
+Non-Dropbox core team members:
+
+  Ethan Smith
+  Jelle Zijlstra
+
 Past Dropbox core team members:
 
   David Fisher
@@ -23,11 +28,6 @@ Past Dropbox core team members:
   Michael Lee
   Reid Barton
 
-Non-Dropbox core team members:
-
-  Ethan Smith
-  Jelle Zijlstra
-
 Additional thanks to:
 
   Alex Allain